July 1st, 2022.
*ONLINE ATTENDANCE*
If you wish to watch Highlights remotely, you can still *register for free*
and get a link to *watch it in streaming* by filling the following form:
https://framaforms.org/highlights2022-online-registration-1652345864
Registration for on-site attendance is now closed.
The full program of Highlights can be found here:
https://highlights-conference.org/2022/
*INVITED SPEAKERS*
Dexter Kozen (US): 25 Years of KAT
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
*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. More
information is available on https://highlights-conference.org/2022/#meta.
**********************************************************
*
* 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
