Zur Hauptnavigation springen Direkt zum Inhalt springen

Logo: Deutsche Forschungsgemeinschaft (DFG) - zur Startseite Deutsche Forschungsgemeinschaft

Liste der laufenden Graduiertenkollegs

Stand: 12. November 2019

Graduiertenkollegs


Graduiertenkolleg 1763
Quantitative Logiken und Automaten

Allgemeine Informationen

Ort: Dresden; Leipzig
Link:Homepage
Laufzeit:2012 - 2021

Sprecher

Professor Dr.-Ing. Franz Baader
Technische Universität Dresden
Institut für Theoretische Informatik
Professur für Automatentheorie
01062 Dresden

(Bitte richten Sie inhaltliche Fragen direkt an den Sprecher / die Sprecherin des Programms)

Antragstellende Institution

Technische Universität Dresden
Mommsenstraße 11
01069 Dresden

Mitantragstellende Institution

Universität Leipzig
Ritterstraße 26
04109 Leipzig

DFG-Betreuung

Dr. Florentin Neumann (fachlich)
Dr. Stephanie Wegener (verfahrenstechnisch)