12 - 15 September 2017, Highlights of Logic, Games, & Automata (HIGHLIGHTS 2017), London, England
HIGHLIGHTS 2017 is the fifth 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. The program will feature contributed and invited talks, two invited sessions, and two two tutorials.
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: logic and finite model theory, automata theory, games for logic and verification.
The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.