Sprecher: externer LinkProf. Dr. Berthold Vöcking
Stellvertretender Sprecher: externer LinkProf. Dr. Thomas Wilke

 

Der Fachausschuss Theoretische Informatik ist ein Zusammenschluss der Fachgruppen

  • Algorithmen und Datenstrukturen (ADS),
  • Parallele und verteilte Algorithmen (PARVA),
  • Algorithmische Geometrie (AG),
  • 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 externer Linkwww.stacs-conf.org.