Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: January 13, 2021

Research Training Groups

Research Training Group 1763
Quantitative Logics and Automata

General Information

City: Dresden; Leipzig
Funded:2012 - 2021


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

(For more information on the project, please contact the project’s coordinator(s).)

Applicant Institution

Technische Universität Dresden
Mommsenstraße 11
01069 Dresden

Co-Applicant Institution

Universität Leipzig
Ritterstraße 26
04109 Leipzig

DFG Contact

Dr. Florentin Neumann (scientific matters)
Dr. Martin Roatsch (procedural matters)