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*
Registration for on-site attendance is now open, until June 14:
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
*IMPORTANT DATES AND INFORMATION*
Registration deadline : June 14
Conference : June 28 - July 1
Talks will start from Tuesday, June 28th at 13h00
Website: https://highlights-conference.org/2022/
*MODALITIES OF ATTENDANCE*
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.
*EXPERIMENTAL SESSION ON RESEARCH TOOLS AND PRACTICES*
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.
*INVITED SPEAKERS*
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
*TUTORIALS*
S. Akshay (India) : Boolean Functional Synthesis: A view from theory and
practice
Dana Fisman (Israel) : Tutorial on Automata Learning
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
