will happen from July 24th to July 28th 2023, at the Campus Center of the University of Kassel, Germany. will be preceded by the Highlights Collaborative Research Week (HCRW), from 17th to 23rd at the Faculty of Electrical Engineering and Computer Science of the University of Kassel.

key features and novelties:

  • Highlights is a conference without publication, where spearkers give short presentations of their best work.
  • For this year's edition, there will be no participation fees.
  • The 2023 program chair is Supratik Chakraborty.
  • The 2023 organisation chair is Stefan Göller.
  • The conference is now five days, tutorials included.
  • A group chat has been set up to facilitate exchanges among the community. You should join it.
  • The Highlights Collaborative Research Week (HCRW) is a new meeting, the week before the conference (from July 17th to July 23rd), devoted to research collaborations between Highlights participants. HCRW happens the week after ICALP'23 in Paderborn, for encouraging direct commutation.
  • The Highlights Extended Stay Support Scheme (HESSS) helps organising and funding collaborations in the area.

is the eleventh of 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

Posters

As in previous editions of Highlights, you have the possibility to create a poster to complement your presentation at the conference. This year, the local organization will handle the printing of posters directly in Kassel. You simply need to send you poster as a PDF file via email to Stefan Göller before July 14th. The poster must be in A1 format.

We strongly encourage the submission of posters, as they play an important role in promoting interactions among participants during the conference.

Restaurant Recommendations

Below, you find some restaurant and bar recommendations in Kassel. The conference venue is displayed in yellow, restaurants in green and bars/clubs in blue. By opening the map's sidebar, you can filter the displayed locations by category.

Getting There

The Highlights conference itself takes place in the Campus Centre near Holländischer Platz. You can find a list of all relevant locations of the university here. Getting around Kassel can be done on the trams and buses of the Kasseler Verkehrsgesellschaft, by foot or with one of the 400 bikes that can be rented (for more information see nextbike).

Below, you can find an overview of how to get to Northern Hesse, depending on the mode of transportation.

by train The railway station for long distance trains is Kassel-Wilhelmshöhe, whereas for regional travel you could alternatively use Kassel main station (Hauptbahnhof). Train times and more information is available at Deutsche Bahn.
by car Around the campus Holländischer Platz, there are only very few parking spaces in the surrounding streets (Hentschelstraße, Mönchebergstraße). All parking spaces are subject to a fee. At the other locations, you will find parking spaces in the surrounding streets.
by plane The closest airports to Kassel are Kassel-Calden, Frankfurt, Hannover and Paderborn. You can take a taxi from Kassel-Calden or use bus route 130 to get to Kassel city centre. You can find the timetables on the website of the Nordhessischer VerkehrsVerbund (NVV)

Normally, you require a visa and residence permit to enter Germany. Nationals from EU memberstates, Iceland Liechtenstein, Norway and Switzerland are generally not required to obtain a visa to enter Germany. Similarly, nationals from Australia, Japan, Canada, New Zealand, South Korea and the USA do not need a visa to enter. See here for a full list of countries enjoying visa exceptions. If you require an invitation letter, please contact Stefan Göller and provide your full address, arrival and departure date.

Staying There

Below, we provide you with a list of potential accomodations in Kassel. Alternatively, you can use the accomodation search providded by the city Kassel, which can be reached here.

IntercityHotel Wilhelmshöher Allee 241 Directly across the train station Wilhelmshöhe
Stadthotel Kassel Am Florentiner Platz 31 In the inner city
Hotel am Rathaus Wilhelmsstraße 29 In the inner city
Renthof Kassel Renthof 3 In the inner city

Sponsors