Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: November 12, 2018

Research Training Groups


Research Training Group 1763
Quantitative Logics and Automata

General Information

City: Dresden; Leipzig
Link:Homepage
Funded:2012 - 2021

Spokesperson

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

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)