Highlights2022: Highlights 2022 of Logic, Games and Automata Paris, France, June 28-July 1, 2022 |
Conference website | http://highlights-conference.org |
Submission link | https://easychair.org/conferences/?conf=highlights2022 |
Submission deadline | March 18, 2022 |
Highlights is an annual conference with the goal of integrating the community of researchers working on logic, games and automata. The 2022 edition of Highlights will happen from June 28th to July 1st, 2022, in Paris, France. The conference will be hosted by Université de Paris, and happen on the site of Grands Moulins.
Just like other conferences in the field, Highlights proposes tutorials and invited talks. However the contributed talks are just ten minutes long, allowing participants to get an overview of a wide range of different topics in a short amount of time. Additionally, authors are encouraged to prepare posters about their work, which are then presented and discussed in poster sessions.
Highlights is an informal event which will take place on-site (barring unforeseen circumstances), and the preferred form of participation is to give your talk in-person. Highlights is mostly intended for a local community of participants who can attend with a limited carbon footprint (e.g., no plane travel). Before coming from further away, please review how your trip and international flights are contributing to climate change. If you do come, we encourage you to make the most of your stay in Paris, e.g., by also attending the ICALP'22 conference and/or using this opportunity for a research visit (see below).
If you cannot attend, you can watch the talks remotely via a video stream, interact via text-based questions and answers, and you can also submit a proposal for a pre-recorded talk. If it is accepted, you will provide a video of your talk, which will be hosted online with other conference videos and be advertised on-site. The selection process will not discriminate between pre-recorded talks and in-person talks.
Submission Guidelines
Submissions should take the form of a short abstract 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 co-authors, if any. Optionally, an extended abstract of up to two pages may be attached as a PDF file.
Submissions will not lead to publications. There are no formal proceedings and we encourage submission of work presented elsewhere.
All speakers are invited to prepare a poster and to participate in the poster session.
If you cannot attend, you can watch the talks remotely via a video stream, interact via text-based questions and answers, and you can also submit a proposal for a pre-recorded talk. If it is accepted, you will provide a video of your talk, which will be hosted online with other conference videos and be advertised on-site. The selection process will not discriminate between pre-recorded talks and in-person talks.
List of Topics
- algorithmic model theory
- automata theory
- databases
- games for logic and verification
- logic
- verification
Committees
Program Committee
- C. Aiswarya (India)
- Udi Boker (Israel)
- Véronique Bruyère (Belgium)
- Dmitry Chistikov (UK)
- Claire David (France)
- Dietrich Kuske (Germany)
- Karoliina Lehtinen (France)
- Sebastian Maneth (Germany)
- Kai Salomaa (Canada)
- Alexandra Silva (US)
- Michał Skrzypczack (Poland)
- Sophie Tison (chair)
- Szymon Torunczyk (Poland)
- Thomas Zeume (Germany)
Organizing committee
Invited Speakers
Tutorials
Venue
The conference will be held in Paris, France. The conference will be hosted by Université de Paris, and happen on the site of Grands Moulins.
Contact
All questions about submissions should be emailed to sophie.tison@univ-lille.fr