• The meeting will be at Université Paris-Est Marne-la-Vallée, Laboratoire d'informatique Gaspard-Monge, Copernic Building, 4th floor, room 4B07R.
    See here how to come.


  • On January 9 at 20h00 at J'go Drouot, 4 rue Drouot, Paris 75009

Scientific Program

  • 09h00 Welcome to participants
  • 09h30 Marta Kwiatkovska, An overview of the uses of probabilistic verification
  • 10h30 Aldric Degorre, LTL and entropy
  • 11h15 Emmanuel Jeandel, Entropy of Turing machines
  • 12h00 Lunch
  • 13h30 Marie-Pierre Béal, Sofic-Dyck shifts
  • 14h15 Radu Losif, Safety Problems are NP-complete for Flat Integer Programs with Octagonal Loops
  • 15h00 Irini-Eleftheria Mens, Learning Regular Languages over Large Alphabets
  • 16h00 Business meeting (Preparation of the meeting with ANR on january 31)
  • 17h00 End of the meeting