15–18 SEPTEMBER 2020
- Tutorial day: 15 September
- Main Conference: 16-18 September
The goal of Highlights conferences is to integrate the community working on logic, games and automata.
This year's Highlights of Logic, Games, and Automata conference will be held online.
5 June 2020: Submission deadline
19 JUNE, 5pm GMT: Submission deadline
3 JULY 2020: Notification
15 September 2020: Tutorial day
16–18 September 2020: Conference
There are no proceedings. You present your best work, be it published elsewhere or yet unpublished.
The conference is three days long. The contributed talks are around ten minutes.
The participation costs are modest — your office is easy to reach.
Let's use the conference model that is so successful in other fields, like mathematics.
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.
Representative areas include, but are not restricted to:
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.
It continues with a tutorial day, September 15, with two tutorials of 3 hours each:
From the 16th to the 18th around noon (2.5 days) are featured the contributed talks, as well as four keynotes given by: