Monday, May 9, 2016

[DMANET] [Highlights of Logic, Games and Automata 2016]: Call for Presentations

================================================================

Highlights of Logic, Games and Automata (HIGHLIGHTS 2016)

Brussels, 6-9 SEPTEMBER 2016

http://highlights-conference.org

2nd CALL FOR PRESENTATIONS

================================================================

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.

================================================================


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************