Please note that this newsitem has been archived, and may contain outdated information or links.
6-9 September 2016, Highlights of Logic, Games and Automata (HIGHLIGHTS 2016), Brussels, Belgium
HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which 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 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 conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). 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.
Detailed information about Highlights 2016 are available at http://highlights-conference.org.
The Programme Committee encourages researchers to attend and present their best work, be it already published or not, at the Highlights conference. The submission deadline is June 3, 2016. As you submit a proposal for a presentation, not a paper, submissions should have a single author, who is the speaker (the abstract, of 1-2 pages, may include a list of coauthors).
Please note that this newsitem has been archived, and may contain outdated information or links.