Project Details
Projekt
GRK 1763: Quantitative Logics and Automata
Subject Area
Computer Science
Term
from 2012 to 2021
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 189782547
Both automata and logics are frequently employed as modelling approaches in Computer Science, and these approaches often complement each other in a synergetic way. In Theoretical Computer Science, the connection between finite automata and logics has been investigated in detail since the early nineteen sixties. This connection is highly relevant for numerous application domains. Examples are the design of combinatorial and sequential circuits, verification, controller synthesis, knowledge representation, natural language processing, or the design of XML technology. Classical logics and automata models support modelling of qualitative properties. For many Computer Science applications, however, such purely functional models are not sufficient since also quantitative phenomena need to be modelled. Examples are the vagueness or uncertainty of a statement, length of time periods, spatial information, and resource consumption. For this reason, different kinds of quantitative logics and automata models have been introduced. However, due to the fact that one has many degrees of freedom when defining quantitative variants of automata and logics, their connection is not as thoroughly investigated as in the classical qualitative case. The aim of this research training group was and is the investigation of quantitative logics and automata as well as their connection in a thorough and complete manner, using methods from Theoretical Computer Science. As possible applications we consider problems from verification, knowledge representation, and constraint satisfaction. The planned qualification and supervision concept aims at providing the doctoral students with as much freedom as possible for their research, while optimally preparing them for and supporting them in their research activities. The curriculum consists-in addition to the weekly research seminar-in reading groups, a spring school in the first year of every cohort, advanced lectures, and an annual workshop. In addition, the doctoral students will participate in softskills courses offered by the participating universities. Every doctoral student has two active supervisors. The rights and duties of the supervisors and students are fixed in a written supervision contract. The control of success is realized through regular individual meetings between students and their supervisors, and on a broader basis through talks given by the students in the seminar and at the workshops. The most important external performance measure is the publication of research results in the proceedings of prestigious conferences and in journals.
DFG Programme
Research Training Groups
Applicant Institution
Technische Universität Dresden
Co-Applicant Institution
Universität Leipzig
Spokesperson
Professor Dr.-Ing. Franz Baader
