CFP
Highlights 2020: Highlights of Logic, Games and Automata 2020 Aachen, Germany, September 14-18, 2020 |
Conference website | http://highlights-conference.org/ |
Submission link | https://easychair.org/conferences/?conf=highlights2020 |
Submission deadline | June 5, 2020 |
Highlights of Logic, Games and Automata 2020
Highlights 2020 will be held online from September the 15th to September the 18th 2020. The event features two tutorials, short contributed presentations, and four keynote speakers.
Webpage: http://highlights-conference.org/
Important dates
- Monday 19 June: submission deadline.
- Friday 3 July: notification.
- Monday 15 - Friday 18 September: conference (15: tutorial day, 16-18: core part of the conference).
Submission Guidelines
- Submissions should take the form of a short abstract of up to two pages describing the content of the presentation and its interest.
- Submissions should deal with logic, databases, algorithmic model theory, automata, verification, games for logic and verification, or related subjects.
- Submissions are made via easychair: https://easychair.org/conferences/?conf=highlights2020
- Submissions can concern any recently published, to be published, or ongoing work of the speaker.
- Submissions should have at most one author, the speaker, but the abstract should list clearly co-authors, if any.
- Submissions will not lead to publications.
The conference
The conference begins with a tutorial day, September 15, with two tutorials of 3 hours each:
- Laure Daviaud, Probabilistic Automata, and
- Uri Zwick, Algorithms for Turn-based Stochastic games.
From the 16th to the 18th around noon (2.5 days) are featured the contributed talks, as well as four keynotes given by:
- Michael Benedikt,
- Stéphane Demri,
- Mehryar Mohri, and
- Anca Muscholl.
Committees
Program Committee
- Nathalie Bertrand (France)
- Meghyn Bienvenu (France)
- Johanna Björklund (Sweden)
- Thomas Colcombet (France, PC chair)
- Anuj Dawar (UK)
- C. Aiswarya (India)
- Christoph Haase (UK)
- Barbara König (Germany)
- Tony Kucera (Czech Republic)
- Ranko Lazic (UK)
- Christof Löding (Germany)
- Michał Pilipczuk (Poland)
- Gabriele Puppis (Italy)
- Karin Quaas (Germany)
Organization
- Research group “Logic and Theory of Discrete Systems” at RWTH Aachen (Germany).Contact: Christof Löding
Steering Committee
- Luc Segoufin (chair)
- Igor Walukiewicz (PC-chair 2017)
- Marcin Jurdziński (PC-chair 2018)
- Nicole Schweikardt (PC-chair 2019)
- Nathanaël Fijalkow (publicity chair)
Webmaster
- Radek Piórkowski
Contact
Thomas Colcombet (thomas.colcombet@irif.fr)