Jewels of Automata Theory

The conference Jewels of Automata Theory 2024 will survey a wide picture of research in automata theory and related mathematical fields. It will consist of 13 invited lectures which describe significant progress over the past years, and will be a meeting point for both young and senior researchers to learn and to discuss about automata theory, its connections with mathematics and its applications.

All lectures will have the same length of about 50 minutes and will deal with significant progress over the past years. They will serve as surveys on such recent work, not necessarily focusing only on work of the speaker.

The event originally emerged from the multidisciplinary programme Automata: from Mathematics to Applications (AutoMathA, 2005 - 2010) of the European Science Foundation. The editions that preceded this year's conference are

Invited Speakers

Polyregular Functions Warsaw
Parity games: The calm after the storm? Bordeaux
What's new in word equations Wrocław
Low complexity colorings of the two-dimensional grid Turku
Up-To Techniques for Language Equivalence and Behavioural Metrics Duisburg-Essen
On the Home-Space Problem for Petri Nets Bordeaux
Diamonds are concurrency’s best friends Bordeaux
Automata over Concrete Domains Leipzig
Weighted Automata over Fields - Determinization and related problems Ljubljana
Efficient membership testing for regular languages Paris
On the Finiteness of Infinite Regular Games Aachen
Decision problems for regular languages Bordeaux
Inclusion problems for formal languages Kaiserslautern

Committees

Program Committee

Steering Committee

Sponsors