Projekt: Algebraic and Syntactic Methods in Computer Science (ASMICS 2)

ASMICS 2 ist die Fortsetzung der Arbeitsgruppe ASMICS, die sich im September 1989 konstituierte. Vorrangiges Ziel ist es, eine Gemeinschaft von Wissenschaftlern bei der Zusammenarbeit im Bereich der algebraischen und syntaktischen Methoden in der Informatik zu unterstützen. Schwerpunkte sind u.a. Automatentheorie und Grammatiken, Thorie der Halbgruppen, Kombinatorik auf Worten und Kodierungstheorie, Theorie der Nebenläufigkeit, Trace-Theorie sowie unendliches Verhalten von Programmen und parallelen Berechnungen. Die Forschung ist nicht a priori an irgendeine Anwendung gebunden, jedoch haben aktuelle Ergebnisse sich als äußerst interessant für die folgenden Gebiete erwiesen:

• natürliche Sprache
• nebenläufige und Realzeitprogrammierung
• Algorithmen für Modelle paralleler und verteilter Systeme
• Logikprogrammierung
• Datenbanken
• wissensbasierte Systeme und Wissensrepräsentation