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.

Steering Committee

Program Committee

Steering Committee

Sponsors