log in

17--20 SEPTEMBER 2019

17 September 2019: Tutorial
18--20 September 2019: Conference

 Warsaw

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

IMPORTANT DATES

Presentation submission deadline: TBA
Notification: TBA
Registration deadline: TBA

PREVIOUS EDITIONS

  1. Highlights 2018 (Berlin, 18–21 September)
  2. Highlights 2017 (London, 12–15 September)
  3. Highlights 2016 (Brussels, 6–9 September)
  4. Highlights 2015 (Prague, 15–18 September)
  5. Highlights 2014 (Paris, 2–5 September)
  6. 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

Szymon Toruńczyk

STEERING COMMITTEE

Luc Segoufin (chair)
Thomas Schwentick (PC-chair 2016)
Igor Walukiewicz (PC-chair 2017)
Marcin Jurdziński (PC-chair 2018)
Nathanaël Fijalkow (publicity chair)

designed and delivered