Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: July 18, 2018

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

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

Applicant Institution

Technische Universität Dresden
01062 Dresden

Co-Applicant Institution

Universität Leipzig
Ritterstraße 26
04109 Leipzig

DFG Contact

Dr. Andreas Raabe (scientific matters)
Dr. Astrid Evers (procedural matters)