log in

18–21 SEPTEMBER 2018

Tutorial day: 18 SEPTEMBER
Main Conference: 19–21 SEPTEMBER

 Berlin

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

IMPORTANT DATES

Presentation submission deadline:
Notification:
Registration deadline:
Tutorial day: 18 September 2018
Main Conference: 19-21 September 2018

Registration is not open yet

PREVIOUS EDITIONS

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

Everybody is doing it!

Let's use the conference model that is so successful in other fields, like mathematics.

Committees

Call for Presentations

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.

SCOPE:

Representative areas include, but are not restricted to:

  • logic and finite model theory
  • automata theory
  • games for logic and verification

IMPORTANT GUIDELINES:

You submit a proposal for a presentation, not a paper. Hence, submissions should have a single author, who is the speaker. Since we expect you to present your favourite result of the year, there should be at most one submission per speaker. The abstract, of 1-2 pages, may include a list of coauthors.

There are no formal proceedings and we encourage submission of work presented elsewhere.

WHERE AND WHEN TO SUBMIT:

Not yet announced

Keynote sessions

Keynote talks

Invited sessions

Tutorials

Venue

LOCATION

EATING

ACCOMMODATION

 

PUBLIC TRANSPORT

SOCIAL EVENTS

Pizza dinner

Picnic

NEARBY

 

Programme

designed and delivered