will happen from July 24th to July 28th 2023, at the Campus Center of the University of Kassel, Germany. will be preceded by the Highlights Collaborative Research Week (HCRW), from 17th to 21st at the Faculty of Electrical Engineering and Computer Science of the University of Kassel.

key features and novelties:

  • Highlights is a conference without publication, where spearkers give short presentations of their best work.
  • For this year's edition, there will be no participation fees.
  • The 2023 program chair is Supratik Chakraborty.
  • The 2023 organisation chair is Stefan Göller.
  • The conference is now five days, tutorials included.
  • A group chat has been set up to facilitate exchanges among the community. You should join it.
  • The Highlights Collaborative Research Week (HCRW) is a new meeting, the week before the conference (from July 17th to July 21st), devoted to research collaborations between Highlights participants. HCRW happens the week after ICALP'23 in Paderborn, for encouraging direct commutation.
  • The Highlights Extended Stay Support Scheme (HESSS) helps organising and funding collaborations in the area.

is the eleventh of 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.

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