*This website provides information for the upcoming Highlights 2018 conference. Follow this link for further information on the highlights conference series and past events.
Update: hints for booking accommodation
Scope of the Event
The goal of Highlights conferences is to integrate the community working on logic, games and automata. Representative areas include, but are not restricted to:
- logic and finite model theory
- automata theory
- games for logic and verification
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. Berlin is easy to reach.
Everybody is doing it!
Let's use the conference model that is so successful in other fields, like mathematics.
Call for presentations
HIGHLIGHTS 2018 is the sixth conference on Highlights of Logic, Games and Automata that 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.
The main part of your submission is an abstract, which should serve as a proposal for a presentation. Hence, submissions should have a single author—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 may include a list of co-authors.
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.
Where and when to submit
Please submit your proposal to the Highlights EasyChair server no later than 13 JUNE 5pm GMT.