CASSTING KICK-OFF MEETING

11th – 12th April 2013

Paris

The meeting took place in Amphithéâtre Alan Turing, located at level -1 of Building Sophie Germain, at University Paris-Diderot.

Programme

The programme included presentations from the partners and a presentation of the project. It also featured technical talks. Below is the schedule.

Thursday
10:00 – 10:30 Coffee
10:30 – 11:00 Nicolas Markey: Presentation of the project”
11:00 – 12:30 Presentation of partners (CNRS, ULB, UMONS, AAU+ENORD, AACHEN, SELUXIT)
12:30 – 14:00 Lunch (at Paris-Milan, 11 rue Elsa Morante)
14:00 – 15:00 Thomas Brihaye:
15:00 – 15:20 Hugo Gimbert: Regular languages of winning strategies
15:20 – 16:00 Mathieu Sassolas:
16:00 – 16:30 Coffee break
16:30 – 18:00 Governing board meeting (room 1007)
19:00 – 21:00 Cassting dinner (at Bouillon Racine)
Friday
9:00 – 9:45 Kim G. Larsen: Games, Statistical Model Checking and Smart Grid
9:45 – 10:30 Ocan Sankur:
10:30 – 11:00 Coffee break
11:00 – 11:45 Stefan Schwoon:
11:45 – 12:30 Jean-François Raskin:
12:30 – 14:00 Lunch (at CROUS Buffon, 17, rue Hélène Brion)
14:00 – 14:30 Simon Laursen: Action Investment Energy Games
14:30 – 15:15 Mickael Randour:
15:15 – 16:00 Mahsa Shirmohammadi: Limit-sure eventually synchronization in MDPs
16:00 – 16:30 Coffee