AUTOMATA
15-18 September 2020, Online
http://highlights-conference.org
The registration is open (and free)!
http://highlights-conference.org/register/
================================================
ONLINE PLATFORM
The conference will be hosted on http://gather.town/
Each participant controls an avatar moving around a "town" designed for the
conference (with lecture halls and such). Each Contributed presentation
will be five minutes long (plus two minutes for questions). There are a
couple of innovations to make this online experience as interactive as
possible. More details will be given to registered participants.
================================================
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 programme is online:
http://highlights-conference.org/#program
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
