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 FunctionsWarsaw
Parity games: The calm after the storm?Bordeaux
What's new in word equationsWrocław
Low complexity colorings of the two-dimensional gridTurku
Up-To Techniques for Language Equivalence and Behavioural MetricsDuisburg-Essen
On the Home-Space Problem for Petri NetsBordeaux
Diamonds are concurrency’s best friendsBordeaux
Automata over Concrete DomainsLeipzig
Weighted Automata over Fields - Determinization and related problemsLjubljana
Efficient membership testing for regular languagesParis
On the Finiteness of Infinite Regular GamesAachen
Decision problems for regular languagesBordeaux
Inclusion problems for formal languagesKaiserslautern

Program Committee

Sponsors