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 2017

  • D-CON
    8. bis 10. März 2017, Universität Paderborn.
  • IFIP WG 1.8 Workshop on Open Problems in Concurrency Theory
    26. bis 29. Juni 2017, IST Austria
    Mitglieder von D-Con beteilitigt
  • CONCUR
    5. bis 8. September 2017, in Berlin

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