September 7-11, 2026, TU Wien, Vienna, Austria

The 2026 edition of Highlights will take place from September 7 to September 11 at the TU Wien in Vienna, Austria. Highlight'26 is organized by the Formal Methods in Systems Engineering Research Unit (TU Wien), the Programming Languages and Verification Group (ISTA), and the Wolfgang Pauli Institute.

HIGHLIGHTS’26  will be followed by the Highlights' Collaborative Research Week (CREW). 

HIGHLIGHTS’26 is the fourteenth 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.

HIGHLIGHTS’26 key features:

• HIGHLIGHTS is a conference without publications, where speakers give short presentations of their best work.
• 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 (CREW) offers means for research collaborations/discussions between participants. CREW is scheduled after the conference.
• The _Highlights Extended Stay Support Scheme (HESSS) helps participants find collaborators and organise visits in the vicinity of HIGHLIGHTS.

We encourage you to attend and present your best work - be it already published or not - at HIGHLIGHTS’26.