Introduction
The 2025 edition of Highlights will take place from September 1 to September 5 at the Saarland University in Saarbrücken, Germany. It will be followed by the Highlights Collaborative Research Week (HCRW).
Highlights is the thirteenth 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.
We encourage you to attend and present your best work, be it already published or not, at Highlights.
Scope
Representative areas include, but are not limited to:
- Algorithmic model theory
- Automata theory
- Databases
- Games for logic and verification
- Logic
- Verification
Highlights Code of Conduct
Highlights is committed to be a respectful forum for its participants, free from any discrimination or harassment of any nature, particularly when abuse of power is involved. All Highlights attendees are expected to behave accordingly.
We will annouce here also a SafeToC counselor, who can be consulted if you experience or witness discrimination, harassment or other unethical behavior at the conference.
The local organizers are entitled to remove registered participants from the conference (without refunding the conference fees) if they are deemed to pose an ethical risk to other participants.
Registration
Registration for HIGHLIGHTS '25 is open now. The early-bird registration is open until Monday, July 14. The early-bird registration fee is 110 EUR (covering lunch and coffee breaks). Online attendance is free.
If you consider staying for HCRW, please indicate this in the registration form, and share your plans on Zulip in the channel called HCRW Collaborative Research Week 2025. There are no fees for participation in HCRW.
The local organizers of Highlights have negotiated quotas for accommodation in Saarbrucken in the following two hotels.
IntercityHotel Saarbrücken
Price: 91,00 EUR per night including breakfast and FreeCity public transportation ticket for Saarbrücken.
Book here using code Highlights 2025 (quota available until 21.07.2025).B&B Hotel Saarbrücken-Hbf
Price: 72,90 EUR per night including breakfast.
Book here using code Highlights 2025 (quota available until 14.07.2025).