Highlights is an annual conference with the goal of integrating the community of researchers working on logic, games and automata. 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.

Just like other conferences in the field, Highlights proposes tutorials and invited talks. The contributed talks are short, 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. There are no publications.

Highlights takes place on-site, and the preferred form of participation is to give a talk in person. However, we encourage participants to review how their trip to the conference is contributing to climate change.

Participants who are unable to attend can watch the talks remotely via a video stream, interact via text-based questions and answers. Crucially, the selection process will not discriminate between remote talks and in-person talks.


Representative areas include, but are not limited to:

  • Algorithmic model theory
  • Automata theory
  • Databases
  • Games for logic and verification
  • Logic
  • Verification


We at Highlights firmly believe in the imporance of inclusivity and diversity, which is why we strive to create an open and welcoming space for all individuals. In the following, we give a statistical insight into the gender composition of Highlights attendees. Note that the data is not complete (there is some data missing for previous editions). Further, the gender of attendees was not part of the registration form in the previous two editions, which is why we approximated the data for 2022 and 2023 based on the names that participants gave during registration. While this is clearly not a perfect system, it sheds at least some light on the ratio between male- and female-identifying participants. For the upcoming editions, we plan on including a prompt for gender in the registration form.

Year of editionNumber of ParticipantsFemale ParticipantsPercentage

Carbon Emissions

During the 2022 edition of Highlights, we had a discussion about the ongoing climate crisis, the role of Highlights in this crisis, how to adjust the organization of the conference for future editions, and how to change the model of academic conferences more broadly. The slides for this introduction can be found here.

Highlights has signed the TCS4F manifesto, which aims to reduce the carbon footprint of the Theoretical Computer Science community. Individuals who are interested in supporting this cause can sign the manifesto here.

In order to reduce the carbon emissions of the conference, we encourage participants to review how their trip to the conference is contributing to climate change. Since the 2022 edition, we began estimating the overall carbon emissions produced by the conference. Below, we provide a breakdown of the emissions and provide the raw data that was used to compute the figures.

Year of editionTotal emissions (tons of CO2e)Physical AttendeesData
202326 (~200.0 kg/attendee)130
202242 (~242.8 kg/attendee)173

The linked data is given in the form of a csv file containing, for each one-way trip made by an attendee, the mode of transportation as well as the distance. The data is anonymized and does not contain any personal information. The code that is used for computing the emissions and anonzymizing the data can be found here.

Steering Committee

Steering Committee

Previous Editions

Below, you can find a list of editions that have already taken place. By clicking on an item, you will be redirected to the edition's website. Additionally, it is possible to download an archive containing rendered HTML versions of all previous editions here.