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)
- 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
- 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




