Der Fachbereich widmet sich den Grundlagen der Informatik. In seinen Fachgruppen werden aktuelle Forschungsfragen der Algorithmik, Komplexität, Automatentheorie, Logik sowie der Netztheorie (Neuronale Netze, Petrinetze) und der Computeralgebra behandelt.

Sprecher: Prof. Dr. Wolfgang Thomas
Stellvertretender Sprecher: Prof. Dr. Volker Diekert

Ankündigungen (Workshops der Fachgruppen, STACS, GI-Jahrestagung)

24. Februar 2010 (Ilmenau)

59. Workshop über Algorithmen und Komplexität

 

04.-06. März 2010 (Nancy)

27th International Symposium on Theoretical Aspects of Computer Science (STACS 2010)

 

25.-28.  Juli 2010 (München)

35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), ausgerichtet von der Fachgruppe Computeralgebra

 

27. September  -  02. Oktober 2010 (Leipzig)

40. Jahrestagung der GI (Informatik2010)

Struktur des Fachbereichs

• Fachausschuss Theoretische Informatik (TI)
  • Fachgruppe Algorithmen und Datenstrukturen (ADS)
  • Fachgruppe Algorithmische Geometrie (AG)
  • Fachgruppe Parallele und verteilte Algorithmen (PARVA)
  • Fachgruppe Komplexität (KP)
  • Fachgruppe Automaten und Formale Sprachen (AFS)
  • Fachgruppe Logik in der Informatik (LogInf)
• Fachgruppe Computeralgebra (CA, gemeinsam mit DMV, GAMM)
• Fachgruppe Petrinetze (PN)
• Arbeitskreis Neuronale Netze (NN)

Leitungsgremium des Fachbereichs

Ziele und Aufgaben der Fachgruppen im Überblick

Weitere Informationen

Mitgliedschaft in Fachgruppen

Literatur zur Theoretischen Informatik