News and Events: Conferences

28 June - 1 July 2022, 10th Conference on Highlights of Logic, Games, & Automata (HIGHLIGHTS 2022), Paris, France

Date: 28 June - 1 July 2022
Location: Paris, France
Deadline: Friday 18 March 2022

HIGHLIGHTS 2022 is the tenth 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.

Representative areas include, but are not restricted to: algorithmic model theory, automata theory, databases, game for logic and verification, logic, and verification. Invited talks: Dexter Kozen (USA), Marta Kwiatkowska (UK), Markus Lohrey (Germany) and Tatiana Starikovskaya (France). Tutorials: S. Akshay (India) and Dana Fisman (Israel).

We encourage you to attend and present your best work, be it already published or not, at the Highlights conference. 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.

For more information, see https://highlights-conference.org/2022/.