Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Institut für Informatik - Dokumentenserver - Universität Leipzig
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Schötz, H. - P.:<br />
- Beauftragter der Fakultät <strong>für</strong> Campus 2000<br />
Sosna, D.:<br />
- Bibliothekskommission der <strong>Universität</strong><br />
Wolff, Ch.:<br />
- Mitglied der ECTS-Arbeitsgruppe der <strong>Universität</strong> <strong>Leipzig</strong><br />
- Sokrates-Vertreter (Stellvertreter v. Prof. Herre)<br />
Wolter, F.:<br />
- Fakultätsrat Mathematik/<strong>Informatik</strong><br />
- Promotionskommission I. T. Nebel<br />
2.3 Sonstige Mitarbeit, Gutachtertätigkeiten, Mitgliedschaften<br />
2.3.1 Wissenschaftliche Funktionen und Mitarbeit<br />
Brewka, G.:<br />
- Mitglied des ständigen Kommitees der ESSLLI, European Summer School<br />
on Logic, Language and Information<br />
- Program Co-Chair of KI-2001, Joint German-Austrian Conference on Artificial<br />
Intelligence, Wien, September 2001<br />
- PC-Mitglied der LPNMR 2001, Intl. Workshop on Logic Programming and<br />
Nonmonotonic Reasoning, Wien, 2001<br />
- Program Co-Chair JELIA 2000, Malaga, 30. September - 3. Oktober 2000<br />
- Area chair for Knowledge representation, ECAI 2000, Berlin, August 2000<br />
- PC-Mitglied der KR 2000, 7th International Conference on Principles of<br />
Knowledge Representation and Reasoning, Breckenridge, Colorado, 12. -<br />
17. April 2000<br />
- PC-Mitglied des International Symposium on Artificial Intelligence and Mathematics<br />
2000, Fort Lauderdale, Florida, 5. - 7. Januar 2000<br />
- PC-Mitglied des Knowledge Representation/Nonmonotonic Reasoning<br />
stream, 1st Intl. Conference on Computational Logic, CL2000, London, 24. -<br />
28. Juli 2000<br />
- PC-Mitglied Computational Intelligence und Industrielle Anwendungen, Baden-Baden,<br />
11. - 12. Mai 2000<br />
20