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, Concurrency Theory sowie der Netztheorie (Neuronale Netze, Petrinetze) und der Computeralgebra behandelt.

Sprecher: Prof. Dr. Thomas Wilke
Stellvertretender Sprecher: Prof. Dr. Heribert Vollmer

 

Veranstaltungen 2016

Durchgeführte Veranstaltungen 2014

Struktur des Fachbereichs

 

Der Fachausschuss Theoretische Informatik (TI) wird gebildet von den Fachgruppen ALGO, KP, AFS und LogInf.

 

Weitere Informationen

 

Mitgliedschaft in Fachgruppen

 

Literatur zur Theoretischen Informatik