FA Theoretische Informatik
Sprecher: Prof. Dr. Thomas Schwentick
Stellvertretender Sprecher: Prof. Dr. Heiko Röglin
Der Fachausschuss Theoretische Informatik ist ein Zusammenschluss der Fachgruppen
- Algorithmen (ALGO),
- Automaten und Formale Sprachen (AFS),
- Komplexität (KP),
- Logik in der Informatik (LogInf).
Seine Hauptaufgabe ist die Vertretung der deutschen Seite im Steering Committee der internationalen Konferenz STACS (Symposium on Theoretical Aspects of Computer Science). STACS findet jährlich statt, und zwar abwechselnd in Deutschland und in Frankreich. Das Steering Committee bestimmt Ort und Veranstalter, Programmkomitee sowie die eingeladenen Vortragenden der STACS-Konferenzen. Nähere Informationen unter www.stacs-conf.org.