HIGHLIGHT S 2017 is the fifth conference on Highlights of Lo gic, Games and Automata that aims at integrating t he 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 pict ure of the latest research in the field and a chan ce to meet everybody in the community, not just th ose who happen to publish in one particular procee dings volume. The program will feature contributed and invited talks, two invited sessions, an d two two tutorials.
\nWe enc ourage you to attend and present your best work, b e it already published or not, at the Highlights c onference. Representative areas include, but are n ot restricted to: logic and finite model theory, a utomata theory, games for logic and verification.< /p>\n\n
The contributed talks are around ten m inutes. Ideally, they let participants learn somet hing new, and enable them to understand the object ive/problem/question and the result, and to get an idea of the technique.
\n