Highlights 2021: Highlights of Logic, Games and Automata 2021 Aachen, Germany, September 14-17, 2021 |
Conference website | http://highlights-conference.org/ |
Submission link | https://easychair.org/conferences/?conf=highlights2021 |
Submission deadline | June 4, 2021 |
HIGHLIGHTS 2021 is the ninth conference on Highlights of Logic, Games and Automata. It 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 the 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.
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. It should serve as a proposal for a presentation. Hence, submissions should have a single author — the speaker. They can concern any recently published, to be published, or ongoing work of the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The Abstract should list clearly co-authors, if any. Submissions will not lead to publications.
There are no formal proceedings and we encourage submission of work presented elsewhere. You may submit a pre-print of a paper that your presentation is based on, but you are not required to do that.
Committees
Program Committee
- Christel Baier (Germany)
- Michael Benedikt (UK)
- Corina Cîrstea (UK)
- Wojciech Czerwiński (Poland)
- Krishna S (India)
- Laura Kovács (Austria)
- Sławomir Lasota (Poland, PC chair)
- Jérôme Leroux (France)
- Markus Lohrey (Germany)
- Jean-François Raskin (Belgium)
- Mahsa Shirmohammadi (France)
- Sebastian Siebertz (Germany)
- Patrick Totzke (UK)
- James Worrell (UK)
- Georg Zetzsche (Germany)
Organizing committee
- Christof Löding (chair)
Invited Speakers
Contact
All questions about submissions should be emailed to the highlights2021 easychair address.