Monday 27/6/2016

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


Stochastic Games with Finite and Infinite Arena
Tony Kucera
Masaryk University, Brno, Czech Republic


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


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


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


Tree Automata and Tree Transducers
Jean-Marc Talbot
Aix-Marseille University, France