Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

banner: Kopfbereich DFG2020 Logo - englisch Because research matters

Current Research Training Groups

Last modified: May 26, 2020

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

(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. Stephanie Wegener (procedural matters)