Fachbereich Grundlagen der Informatik (GInf)
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)
- 29. Februar - 03. März 2012, Paris, Frankreich:
29th Symposium on Theoretical Aspects of Computer Science,STACS 2012. - 03. - 06. September 2012, Maribor, Slowenien:
14th International Workshop in Computer Algebra in Scientific Computing,CASC 2012.
Struktur des Fachbereichs
- Fachausschuss Theoretische Informatik (TI)
- Fachgruppe Algorithmen (ALGO)
- Fachgruppe Algorithmische Geometrie (AG)
- 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)
Weitere Informationen
