HIGHLIGHTS 2022 Registration Deadline Extended to June 18th

*Highlights of Logic, Games, and Automata 2022 – Last call for Participation*

The deadline for registrations to Highlights 2022 has been extended to this Saturday, June 18th.
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é Paris-Cité, and happen on the site of Grands Moulins.

The program of Highlights is now online: https://highlights-conference.org/2022/
Registration for on-site attendance is now open, until June 14 June 18: https://framaforms.org/highlights2022-on-site-registration-1652701135

The registration fee is 80 EUR, with a discounted rate of 45 EUR for students.

Registration for remote attendance is free and open at: https://framaforms.org/highlights2022-online-registration-1652345864

Registration deadline : June 14
Extended registration deadline: June 18
Conference : June 28 – July 1

Talks will start from Tuesday, June 28th at 13h00

Website: https://highlights-conference.org/2022/

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. Before coming from far away, please review how your trip and international flights are contributing to climate change. 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.

If you cannot attend, you can watch the talks remotely via a video stream and interact via text-based questions and answers.

On Friday, Highlights will feature an experimental session to discuss about software tools and useful practices that we use to do our research. We welcome informal presentations and demos of software, LaTeX packages, etc. More information is available on https://highlights-conference.org/2022/#meta. Conference participants can propose a presentation by simply emailing Antoine Amarilli <a3nm.highlights@a3nm.net> with a topic and the estimated duration.

Dexter Kozen (US) : TBA
Marta Kwiatkowska (UK) : Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
Markus Lohrey (Germany) : Straight-Line Programs: From Compression to Algorithmics
Tatiana Starikovskaya (France) : Regular expression search in a stream

S. Akshay (India) : Boolean Functional Synthesis: A view from theory and practice
Dana Fisman (Israel) : Tutorial on Automata Learning