Highlights of Logic, Games and Automata (HIGHLIGHTS 2016) - 1st CALL FOR PRESENTATIONS

Brussels, 6-9 SEPTEMBER 2016



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. 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 conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). The participation costs will be modest (100 Euro with a discount for students and post-docs) and Brussels is very easy to reach.

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.

To promote excellent presentations, there will be an „Outstanding Presentation Award“, the details of which will be announced later.

The program will further offer three keynotes by Meena Mahajan (Chennai), Andreas Maletti (Stuttgart), and Marc Zeitoun (Bordeaux), and two invited sessions, organised by Sławomir Lasota (Warsaw) and Anca Muscholl (Bordeaux). The tutorials will be given by Benedikt Bollig (Cachan) and Antonín Kučera (Prague).

The submission deadline is  JUNE 3, 2016 Notifications will be sent by June 13, 2016. Registration will be possible until August 7, 2016.

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 favorite 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. Submissions are possible through https://easychair.org/conferences/?conf=highlights2016.

The instructions and detailed information about Highlights 2016 are available at http://highlights-conference.org.

e-max.it: your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.