Highlights 2025

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

Important Dates and Information

Program

Invited speakers

Modalities of attendance

Highlights’25 is an event that will take place on-site (barring unforeseen circumstances), and the preferred form of participation is in person. Remote attendance via a video stream will also be offered, but with limited possible interactions for these participants.

Submission for a presentation at Highlights'25 is open to everyone, and attendance to the conference is not a requirement. The selection procedure will not take into account in-person attendance. Authors who do not intend to attend Highlights’25 in-person must commit to this choice when submitting their talk proposal. If accepted, authors of such talk proposals will have the opportunity to share a prerecorded video of their talk, which will be made available on the conference website.

Before coming from far away, please review how your trip and international flights are contributing to climate change. We encourage you to take the train as much as possible, possibly taking the opportunity for visiting colleagues on the way and thus decomposing the travel into smaller pieces.

More generally, we encourage you to make the most of your stay. This means extending your journey to the previous and/or following weeks for more scientific activities in Saarbrücken and around. Several initiatives are here to help you in this task:

• You can participate in the Highlights’ Collaborative Research Week (HCRW, September 6 - 12) in the week after Highlights'25, in Saarbrücken.
• You can use the Highlights Extended Stay Support Scheme (HESSS) for finding collaborators and organising visits.

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.

If you experience or witness discrimination, harassment or other unethical behavior at the conference, we encourage you to seek advice and remedy by consulting with the SafeToC counsellor of Highlights: Lucas Kehrer.

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.

Committees

Sponsors