Zur Hauptnavigation springen Direkt zum Inhalt springen

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

Liste der laufenden Graduiertenkollegs

Stand: 15. November 2017

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
Lehrstuhl für Automatentheorie
Nöthnitzer Straße 46
01187 Dresden

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

Antragstellende Institution

Technische Universität Dresden
01062 Dresden

Mitantragstellende Institution

Universität Leipzig
Ritterstraße 26
04109 Leipzig

DFG-Betreuung

Dr. Andreas Raabe (fachlich)
Dr. Astrid Evers (verfahrenstechnisch)

© 2010-2017 by DFG
Ausdruck aus dem Angebot der DFG (Deutsche Forschungsgemeinschaft)