The Steering Committee of Highlights of Logic, Automata, and Games condemns the aggression by the Russian Federation against Ukraine in the strongest possible terms.

The Steering Committee expresses its solidarity with the Ukrainian people in their plight, calls for immediate peace, and is fully committed to peaceful co-operation, mutual understanding and tolerance across borders, and despite the current situation continues to hope for reflection, restraint and a swift end to the crisis.

Highlights is an annual conference with the goal of integrating the community of researchers working on logic, games and automata. The 2023 edition of Highlights will take place from July 17th to July 21st, 2023, in Kassel, Germany. The conference will be hosted by Universität Kassel, and happen on the site of the Campus Center.

Just like other conferences in the field, Highlights proposes tutorials and invited talks. The contributed talks are just ten minutes long, allowing participants to get an overview of a wide range of different topics in a short amount of time. Additionally, authors are encouraged to prepare posters about their work, which are then presented and discussed in poster sessions.

Registration

Registration for Highlights'23 has not been opened yet.

Program

The program has not yet been published.

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.

Committees