HIGHLIGHT S 2022 is the tenth conference on Highlights of Lo gic, Games and Automata. It aims at integrating th e community working in these fields. Papers from t hese areas are dispersed across many conferences, which makes them difficult to follow. A visit to t he Highlights conference should offer a wide pictu re of the latest research in the field and a chanc e to meet everybody in the community, not just tho se who happen to publish in one particular proceed ings volume.
\n\nRepresentative areas incl ude, but are not restricted to: algorithmic model theory, automata theory, databases, game for logic and verification, logic, and verification. Invite d talks: Dexter Kozen (USA), Marta Kwiatkowska (UK ), Markus Lohrey (Germany) and Tatiana Starikovska ya (France). Tutorials: S. Akshay (India) and Dana Fisman (Israel).
\nWe encour age you to attend and present your best work, be i t already published or not, at the Highlights conf erence. Submissions should take the form of a shor t abstract describing the content of the presentat ion and its interest. It should serve as a proposa l for a presentation. Hence, submissions should ha ve a single author â the speaker. They can conce rn any recently published, to be published, or ong oing work of the speaker. We expect you to present your favourite result of the year, so there shoul d be at most one submission per speaker. The abstr act should list co-authors, if any. Optionally, an extended abstract of up to two pages may be attac hed as a PDF file.
\n\nSubmissions will no t lead to publications. There are no formal procee dings and we encourage submission of work presente d elsewhere.
\n