log in

17–20 SEPTEMBER 2019

10 June: Submission deadline
20 June: Notification
31 July: Early registration deadline
17 September: Tutorial
18–20 September: Conference

 Warsaw

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

IMPORTANT DATES

10 June AoE: Submission deadline
20 June: Notification
31 July: Early registration deadline
17 September 2019: Tutorial
18–20 September 2019: Conference

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

STEERING COMMITTEE

Program

17

September 17th, Tuesday: Tutorial Day (TBA)

 18

September 18th, Wednesday (TBA)

19

September 19th, Thursday (TBA)

September 20th, Friday (TBA)

designed and delivered