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. Heribert Vollmer
Stellvertretender Sprecher: Prof. Dr. Christian Scheideler

Veranstaltungen 2017

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


http://fb-ginf.gi.de/startseite.html