Location

• 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.

Dinner

• 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