Monday 27/6/2016
12:30-14:00
III Floor: Registration and Welcome Party
Near the Conference Room, III Floor
14:00-17:00 (break 15:30-16:00)
Automated Software Analysis
Andreas Podelski
Freiburg University, Germany
Student sessions
17:00 - 17:20 Matteo Marescotti "Combining parallel techniques for Cloud-Based SMT Solving" PDF
17:20 - 17:40 Francesco Marconi "Formal verification of data-intensive applications: a metric temporal logic based approach" PDF
Tuesday 28/6/2016
9-12:00 (break 10:30-11)
Control of Probabilistic Systems under Partial Observation
Nathaline Bertrand
Inria Rennes, France
Lunch
13:30:-15:30
Stochastic Games with Finite and Infinite Arena
Tony Kucera
Masaryk University, Brno, Czech Republic
Break
Student Sessions
16:00 - 16:20 Gianluca Barbon "Debugging concurrent programs using model checking and mining techniques" PDF slides
16:20 - 16:40 Pierre Carlier "Decisiveness and stochastic timed automata" PDF
16:40 - 17:00 František Blahoudek "Automata with Generic Acceptance Conditions in Formal Methods" PDF slides
17:00 - 17:20 Lubos Korenciak "Synthesis of Optimal Timeouts in Fixed-Delay CTMC" PDF slides
Wednesday 29/6/2016
9-12:00 (break 10:30-11)
Verification of Infinite-state Systems
Parosh Abdulla
Uppsala University, Sweden
Lunch
13:30:-15:00
Well-structured Transition Systems: Decidability and Complexity
Philippe Schnoebelen
LSV Cachan, Paris, France
Student Sessions
15:00 - 15:20 Isabelle Mainz and Bernard Boigelot "Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces" PDF
15:20 - 15:40 Damien Busatto-Gaston "Value Approximation in Priced Timed Games" PDF
15:40 - 16:00 Nicola Gigante "A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau" PDF slides
16:00 - 16:20 Bharath Siva Kumar Tati "Model repair by Rate Reduction for Stochastic Systems" PDF
Social event
Thursday 30/6/2016
9-12:00 (break 10:30-11)
Search based test-case generation
Paolo Tonella
FBK - Trento
Lunch
13:30-16:30 (break 15-15:30)
How do we get inductive invariants automatically
David Monniaux
CNRS-Verimag, France
Student Sessions
16:30 - 16:50 Manuel Gieseking "Solving Petri Games – The Synthesis of Distributed Systems with Causal Memory" PDF
16:50 - 17:10 Alberto Molinari "Interval Temporal Logic Model Checking" PDF slides
17:10 - 17:30 Quentin Hautem "On the complexity of heterogeneous multidimensional quantitative games" PDF
17:30 - 17:50 Damien Mondou "Towards a hybrid approach for supervising interactive adaptive systems" PDF slides
Friday 1/7/2016
9-12:00 (break 10:30-11)
Temporal Logic, Satisfiability and Model Checking
Angelo Montanari
Università di Udine, Italy
Lunch
13:30:-15:00
Tree Automata and Tree Transducers
Jean-Marc Talbot
Aix-Marseille University, France