Institut für Informatik - Dokumentenserver - Universität Leipzig

Vorwort ........................................................................................3
1. Professorenkollegium ............................................................. 8
2. Organisation, Mitarbeit und Mitgliedschaften ..................... 15
2.1. Allgemeines ............................................................................ 15
2.2. Funktionen und Gremienmitarbeit an der Universität ................ 17
2.3. Sonstige Mitarbeit, Gutachtertätigkeiten, Mitgliedschaften ........ 20
2.3.1. Wissenschaftliche Funktionen und Mitarbeit ..............................20
2.3.2. Gutachtertätigkeiten/Reviews ....................................................24
2.3.3. Mitgliedschaften .........................................................................27
3. Forschung .............................................................................. 31
3.1. Graduiertenkolleg Wissensrepräsentation ................................ 31
3.2. Übersicht weiterer Drittmittelprojekte ....................................... 33
3.3. Forschungsprojekte der Abteilungen ........................................ 36
3.3.1. Anwendungsspezifische Informationssysteme ..........................36
3.3.2. Automaten und Formale Sprachen ............................................40
3.3.3. Automatische Sprachverarbeitung .............................................42
3.3.4. Bildverarbeitung und Computergrafik ........................................46
3.3.5. Datenbanken ..............................................................................60
3.3.6. Formale Konzepte ......................................................................71
3.3.7. Intelligente Systeme ...................................................................73
3.3.8. Rechnernetze und Verteilte Systeme ........................................79
3.3.9. Parallelverarbeitung und komplexe Systeme .............................83
3.3.10. Technische Informatik ................................................................89
3.3.11. Versicherungsinformatik ............................................................93
3.4. Graduierungsarbeiten am Institut ............................................. 95
3.4.1. Habilitationen .............................................................................95
3.4.2. Diplomarbeiten ...........................................................................98
3.5. Messebeteiligungen .............................................................. 101
3.6. Workshops und Tagungen am Institut .................................... 101
3.6.1. AiML-ICTL 2000 (Advances in Modal Logic -
International Conference on Temporal Logic 2000) .................101
3.6.2. 4. Böblingen - Leipziger Projekt-Workshop Logic
Design (2.3. - 3.3. 2000) ..........................................................102
3.6.3. 3. Halle - Leipziger Seminar zur Parallelverarbeitung
(16.06.2000) .....................................................................103
3.6.4. EWGLP 2000 First European Workshop on
Computer-based Support for Clinical Guidelines
and Protocols ...........................................................................104
1