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:
    https://easychair.org/conferences/?conf=highlights2020
  * 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



  

Committees


Program Committee




Organization


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

Conctact: Christof Loeding


Steering Committee


Webmaster

Radek Piórkowski


Contact