The 2024 edition of Highlights will be jointly scheduled with Jewels of Automata Theory from September 16 to September 20 at the University of Bordeaux, France, in LaBRI. They will be followed by the Highlights Collaborative Research Week (HCRW), from September 21 to September 27, 2024.

Highlights is the twelfth in the series of international conferences Highlights of Logic, Games and Automata, aiming at integrating the community working in algorithmic model theory, automata theory, databases, games for logic and verification, logic, and verification. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. There are no publications.

Jewels of Automata Theory will be the second conference, after the one organised in 2015, which was itself the continuation of a European research project, that terminated in 2010. The name of the conference itself has changed, previous editions ran under the name AutoMathA. 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 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.

Key features of Highlights 2024:

  • Highlights is a conference without publication, where spearkers give short presentations of their best work.
  • The 2024 edition is colocated with Jewels of Automata Theory a conference featuring invited talks on mathematical aspects of automata theory.
  • A chat of the conference is available during the event, and throughout the year.
  • There is an early round of submissions and notifications to help with travel planning.
  • The Highlights Collaborative Research Week (HCRW) offers means for research collaborations/discussions between participants. HCRW is scheduled after the conference.
  • The Highlights Extended Stay Support Scheme (HESSS) helps organising and funding collaborations in the vincinity of Highlights.
  • Highlights now has an environmental chair, Antoine Amarilli, in charge of assessing the carbon footprint of the event.

We encourage you to attend and present your best work, be it already published or not, at Highlights.


Representative areas include, but are not limited to:

  • Algorithmic model theory
  • Automata theory
  • Databases
  • Games for logic and verification
  • Logic
  • Verification