Workshop Program


SynCoP 2018 & PV 2018

Saturday 14 April 2018, Amfitrion I

09:00 – 10:00 Keynote speaker 1: Nathalie Bertrand
Population control: how to win when intuition fails?
10:00 – 10:30 Coffee Break
10:30 – 12:30
Session 1
Invited talk: Thao Dang: Parameter synthesis for biological systems modelling 
Invited talk: Marco Faella: Controller synthesis for Linear Hybrid Systems
12:30 – 14:00 Lunch Break
14:00 – 15:30
Session 2
Invited talk: Karin Quaas: TBA
Paulin Fournier: Parametric timed broadcast protocols
Mathias Ramparison: Timed automata with parametric resets
15:30 – 16:00 Coffee Break
20:00 Workshop Dinner


Sunday 15 April 2018, Amfitrion I

09:00 – 10:00 Keynote speaker 2: Ichiro Hasuo
Approximating Reachability Probabilities by (Super-)Martingales
10:00 – 10:30 Coffee Break
10:30 – 12:30
Session 4
Invited talk: Pierre Ganty: TBA
Benoît Delahaye: Statistical Model Checking for Parameterized Model
12:30 – 14:00 Lunch