Bertinoro Seminar on Distributed Runtime Verification
Final program
(May 17, 2016)

May 16–20, 2016, Bertinoro, Italy

The slides of some the presentations are available here: http://www.labri.fr/perso/travers/DRV2016/talks/index.html

Tuesday

07:30-08:30
Breakfast
08:45-09:00
Forewords
09:00-10:00
Tutorial 1: Fault-tolerant Distributed Computability and Topology (slides)  
Maurice Herlihy, Brown University
10:00-10:30
Coffee break
10:30-12:30
Tutorial 1 (ctd.): Fault-tolerant Distributed Computability and Topology (slides)  
Maurice Herlihy, Brown University
12:30-13:30
Lunch
14:00-15:00
Tutorial 3: Crash Course on Linear-Time Temporal Logic  
Rotem Oshman, Tel Aviv University
15:00-15:30
Coffee break
15:30-16:30
Tutorial 4: Overview of Distributed Wait-free RV  
Sergio Rajsbaum, UNAM, Mexico
16:30-17:30
Discussion 1
20:00-22:00
Dinner

Wednesday

07:30-08:45
Breakfast
09:00-10:00
Tutorial 5: Formal Methods for the Verification of Distributed Algorithms (slides)  
Paul Gastin, CNRS, France
10:00-10:30
Coffee break
10:30-11:30
Tutorial 6: Algorithms and lower bounds on the number of opinions in wait-free RV (slides)  
Corentin Travers, LaBRI Bordeaux, France
11:30-12:30
Tutorial 7: Logic Approach to Distributed RV (slides)  
Borzoo Bonakdarpour, McMaster University, Canada
12:30-13:30
Lunch
14:00-15:00
Tutorial 8: Synthesis and Control: a Distributed Perspective (slides)  
Anca Muscholl, Technische Universität München, Germany & LaBRI, Université de Bordeaux, France
15:00-15:30
Coffee break
15:30-16:00
Trustworthy Self-Assembly: A Use-Case For Distributed Runtime Verification  
John Rushby, SRI International, USA
16:00-16:30
Runtime Enforcement of Privacy Policies for Social Networks (slides)  
Gerardo Schneider, University of Gothenburg, Sweden
16:30-17:30
Discussion 2
20:00-22:00
Dinner

Thursday

07:30-08:45
Breakfast
09:00-10:00
Tutorial 9: Runtime Verification of Multiagent Systems (slides)  
Viviana Mascardi, University Genova, Italy
10:00-10:30
Coffee break
10:30-11:30
Tutorial 10: Wait-free RV and determinism (slides)  
Pierre Fraigniaud, CNRS, France
11:30-12:00
Decentralized Monitoring of Artifact-Centric Systems  
Sylvain Hallé, University of Quebec
12:00-12:30
On the Decentralised Monitoring of Systems with a Global Clock (slides)  
Ylies Falcone, CNRS, France
12:30-13:30
Lunch
14:00-14:30
Verification of population protocols (slides)  
Javier Esparza, Technical University of Munich
14:30- 15:00
On parametrized Verification (slides)  
Arnaud Sangnier, University Paris Diderot
15:00-15:30
Coffee break
15:30-16:00
Importance of Static Knowledge (slides)  
Cesar Sanchez, IMDEA Software Institute, Spain
16:00-16:30
Runtime Monitoring of Real-time Tasks in Distributed Architectures to Increase Parallelism  
Matthieu Roy, LAAS-CNRS, France
16:30-17:00
Towards Combined Static and Runtime Verification of Distributed Software (slides)  
Wolfgang Ahrendt, Chalmers University of Technology, Sweeden
17:00-18:30
Discussion 3
20:00-22:00
Dinner

Friday

07:30-08:45
Breakfast
9:00-9:30
Runtime Reflection  
Martin Leucker, University of Luebeck, Germany
9:30-10:00
Liveness and universal reachability for parametrised asynchronous shared memory systems (slides)  
Igor Walukiewicz, Technische Universität München, Germany & CNRS, France
10:00-10:20
Coffee break
10:20-10:50
A Constructive Approach for Proving Correctness of Concurrent Data Structures  
Gregory Chockler, Royal Holloway, University of London
10:50-11:20
Consistency Criteria for Distributed Data Structures (slides)  
Constantin Enea, IRIF, University Paris Diderot
11:20-11:40
Coffee break
11:40-12:10
Sensitivity of Debugging in Partial Synchronous Systems  
Sandeep Kulkarni, Michigan State University
12:10-12:40
Modal Logic & Distributed Automata (slides)  
Fabian Reiter, IRIF, University Paris Diderot, France
12:40-13:40
Lunch
13:40-14:30
Wrap-up discussion
14:30
Workshop ends

This document was translated from LATEX by HEVEA.