Jump to main navigation Skip to Content

DFG Logo: back to Homepage Deutsche Forschungsgemeinschaft

Current Research Training Groups

Last modified: January 17, 2018

Research Training Groups


Research Training Group 1763
Quantitative Logics and Automata

General Information

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

Coordinator

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)

© 2010-2018 by DFG
Printable version of a page from the website of the DFG (German Research Foundation)