Open for all UnRAVeL-members: Highlights of Logic, Games and Automata 2020

Monday, September 14, 2020 to friday, September 18, 2020

Highlights 2020 will be held online from September the 15th to September the 18th 2020. 


Important dates

19 June, 5pm GMT submission deadline
3 July Notification
15 September Tutorial day
16 - 18 September conference

Submission Guidelines

* Submissions should take the form of a short abstract of up to two
pages describing the content of the presentation and its interest.
* Submissions should deal with logic, databases, algorithmic model
theory, automata, verification, games for logic and verification, or
related subjects.
* Submissions are made via easychair:
* Submissions can concern any published, to be published, or ongoing
work of the speaker.
* Submissions should have at most one author, the speaker, but the
abstract should list clearly co-authors, if any.
* Submissions will not lead to publications.

The conference

September 15 tutorial day, with two tutorials of 3 hours each
Laure Daviaud Probabilistic Automata
Uri Zwick Algorithms for Turn-based Stochastic games
September 16th to the 18th Conference
Contributed Talks
4 Keynotes

Michael Benedikt,

Stéphane Demri,

Mehryar Mohri,

Anca Muscholl


Program Committee


Research group “Logic and Theory of Discrete Systems”
at RWTH Aachen (Germany).

Conctact: Christof Loeding

Steering Committee


Radek Piórkowski