Presentation slides
Below are the slides of the talks we have received. Please send yours!
Fault-tolerant Distributed Computability and Topology Maurice Herlihy
Formal Methods for the Verification of Distributed Algorithms Paul Gastin
Algorithms and lower bounds for the number of opinions in wait-free RV Corentin Travers
Logic Approach to Distributed RV Borzoo Bonakdarpour
Synthesis and Control: a Distributed Perspective Anca Muscholl
Towards Combined Static and Runtime Verification of Distributed Software Wolfgang Ahrendt
Runtime Verification of Multiagent Systems Viviana Mascardi
Wait-free RV and nondeterminism Pierre Fraigniaud
On the Decentralised Monitoring of Systems with a Global Clock Ylies Falcone
Verification of Population Protocols Javier Esparza
Parametrized Verification of Systems with Broadcast Communication Arnaud Sangnier
Importance of Static Knowledge Cesar Sanchez
Runtime Enforcement of Privacy Policies for Social Networks Gerardo Schneider
Liveness and universal reachability for parametrised asynchronous shared memory systems Igor Walukiewicz
Consistency Criteria for Distributed Data Structures Constantin Enea
Modal Logic & Distributed Automata Fabian Reiter