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:

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 has passed, but a registration is still possible with a fee of 160 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).

Invited speakers

Committees

Organising Committee

Program Committee

Steering Committee

Sponsors