log in

15–18 SEPTEMBER 2020

15 September: Tutorial day
16–18 September: Conference

edition

Aachen

The goal of Highlights conferences is to integrate the community working on logic, games and automata.

IMPORTANT DATES

15 September 2020: Tutorial day
16–18 September 2020: Conference

PREVIOUS EDITIONS

  1. Highlights 2019 (Warsaw, 17–20 September)
  2. Highlights 2018 (Berlin, 18–21 September)
  3. Highlights 2017 (London, 12–15 September)
  4. Highlights 2016 (Brussels, 6–9 September)
  5. Highlights 2015 (Prague, 15–18 September)
  6. Highlights 2014 (Paris, 2–5 September)
  7. Highlights 2013 (Paris, 18–21 September)

No proceedings

There are no proceedings. You present your best work, be it published elsewhere or yet unpublished.

Short

The conference is three days long. The contributed talks are around ten minutes.

Cheap

The participation costs are modest. Warsaw is easy to reach.

Everybody is doing it!

Let's use the conference model that is so successful in other fields, like mathematics.

Committees

PROGRAM COMMITTEE

ORGANISING COMMITTEE

STEERING COMMITTEE

designed and delivered