AUTOMATA
15-18 September 2020, Online
http://highlights-conference.org
Call for Contributed Presentations
Deadline: 19 June 5pm GMT
SUBMISSION SERVER:
https://easychair.org/conferences/?conf=highlights2020
================================================
HIGHLIGHTS 2020 is the 8th conference on Highlights of Logic, Games, and
Automata that aims to integrate the diverse research community working in
the areas of Logic and Finite Model Theory, Automata Theory, and Games for
Logic and Verification. Individual papers are dispersed across many
conferences, which makes them challenging to follow. Participating in the
annual Highlights conference offers a wide picture of the latest research
in the field and a chance to meet and interact with most of the members of
the research community. The speakers are encouraged to present their best
recent work at Highlights, whether already published elsewhere or not.
The conference is short (from 15 to 18 September). The participation costs
are modest (zero) and the location is easy to reach (your office).
The Contributed Presentations will be around ten minutes long.
TUTORIAL (September 15)
Two tutorials of 3 hours each:
+ Laure Daviaud, Probabilistic Automata,
+ Uri Zwick, Algorithms for Turn-based Stochastic games.
KEYNOTES
+ Michael Benedikt
+ Stéphane Demri
+ Mehryar Mohri
+ Anca Muscholl
**********************************************************
*
* 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
