log in

14–18 SEPTEMBER 2020

14 September: Workshop day
15 September: Tutorial day
16–18 September: Conference

Aachen

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

IMPORTANT DATES

14 September 2020: Workshop day
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. Aachen 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

WORKSHOP ORGANIZERS

  • Emmanuel Filiot
  • Karoliina Lehtinen
  • Daniela Petrişan
  • Thomas Zeume

ORGANISING COMMITTEE

Research group “Logic and Theory of Discrete Systems”
at RWTH Aachen (Germany).
https://www.lics.rwth-aachen.de
Conctact: Christof Loeding

STEERING COMMITTEE

Webmaster

  • Radek Piórkowski

designed and delivered