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

5 June 2020: Submission deadline
19 June 2020: Notification
31 August 2020: Early registration deadline
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

Call for presentations

CALL FOR PRESENTATIONS:

HIGHLIGHTS 2020 is the eighth conference on Highlights of Logic, Games and Automata. It aims at integrating the community working in these fields. 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.

We encourage you to attend and present your best work, be it already published or not, at the Highlights conference.

SCOPE:

Representative areas include, but are not restricted to:

  • algorithmic model theory
  • automata theory
  • databases
  • game for logic and verification
  • logic
  • verification

IMPORTANT GUIDELINES:

Submissions should take the form of a short abstract of up to two pages describing the content of the presentation and its interest. It should serve as a proposal for a presentation. Hence, submissions should have a single author — the speaker. They can concern any recently published, to be published, or ongoing work of the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The Abstract should list clearly co-authors, if any. Submissions will not lead to publications.

There are no formal proceedings and we encourage submission of work presented elsewhere. You may submit a pre-print of a paper that your presentation is based on, but you are not required to do that.

SUBMISSION SERVER:

https://easychair.org/conferences/?conf=highlights2020

Keynote speakers

Workshops

The conference begins with a workshop day, September 14, consisting of four concurrent full day workshops:

  • Workshop on Categories and Automata, organized by Daniela Petrişan,
  • Workshop on Logic and Databases, organized by Thomas Zeume,
  • Workshop on Games, organized by Karoliina Lehtinen,
  • Workshop on Transducers, organized by Emmanuel Filiot and Nathan Lhote.

Tutorials

It continues with a tutorial day, September 15, with two tutorials of 3 hours each:

  • Laure Daviaud, Probabilistic Automata,
  • Uri Zwick, Algorithms for Turn-based Stochastic games.

Contributed talks

From the 16th to the 18th around noon (2.5 days) are featured the contributed talks, as well as four keynotes given by:

  • Michael Benedikt,
  • Stéphane Demri,
  • Mehryar Mohri, and
  • Anca Muscholl.

designed and delivered