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)

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)

 

29. September - 01. Oktober 2010 (Baunatal bei Kassel)

20. Theorietag der GI-Fachgruppe Automaten und Formale Sprachen (Theorietag 2010)

 

05. - 06. November 2010 (Leipzig)

17. Jahrestagung der GI-Fachgruppe Logik in der Informatik (Jahrestagung 2010)

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