fb-ginf.gi.de
Ziele und Aufgaben - Fachbereich Grundlagen der Informatik
http://fb-ginf.gi.de/ziele-und-aufgaben.html
Skip to the navigation. Skip to the content. Hauptseite der Gesellschaft für Informatik. Fachbereich Grundlagen der Informatik. Sie befinden sich hier:. Der Fachbereich umfasst die folgenden Fachgruppen:. Fachgruppe Automaten und Formale Sprachen. Fachgruppe Logik in der Informatik. Fachgruppe Automaten und Formale Sprachen (AFS). Sprecher: Prof. Dr. Henning Fernau. Gewählt bis 01.10.2018). Stellvertretender Sprecher: Priv.-Doz. Dr. Henning Bordihn. Gewählt bis 01.10.2018). Zu den Zielen dieser Fachgrupp...
fb-ginf.gi.de
Startseite - Fachbereich Grundlagen der Informatik
http://fb-ginf.gi.de/startseite.html
Skip to the navigation. Skip to the content. Hauptseite der Gesellschaft für Informatik. Fachbereich Grundlagen der Informatik. Sie befinden sich hier:. 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. 4 und 5. Oktober 2016. NCMA 2015 (7...
logic.las.tu-berlin.de
24th EACSL Annual Conference on Computer Science Logic
http://logic.las.tu-berlin.de/csl2015/index.html
Computer Science Logic 2015. Berlin, 7-10 September 2015. Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Please select one of the following items to view the programme. Monday, 7 September 2015. Tuesday, 8 September 2015. Wednesday, 9 September 2015. At the Department ...