ANR project FREDDA
FoRmal mEthods for the Design of Distributed Algorithms
Programme:
- 9h30 Accueil
- 10h00 Synthesis in presence of dynamic links - Benedikt Bollig
- 10h20 Biological models - Matthias Fuegger
- 10h40 Synchronisation power of auditable registers - Alexandre Rapetti
- 11h20 A Brief Introduction to Distributed Fault-Tolerant Runtime Verification - Sergio Rajsbaum
- 12h30 - 14h00 Lunch Break
- 14h00 TBA - Olivier Stietel
- 14h40 A new semantics for rendez-vous protocols - Lucie Guillou
- 15h20 Verification of parameterised networks with shared counters - Arnaud Sangnier
Program:
- Monday 4th February 2019
- 10h00 Welcome
- 10h30 Identifiers in Registers - Describing Network Algorithms with Logic - Fabian Reiter
- 11h30 Weak-consistency specification via visibility relaxation - Constantin Enea
- 12h15 Lunch Break
- 14h00 Bounded Model Checking of TLA+ Specifications with SMT - Igor Konnov
- 15h00 Synthesis in Highly Dynamic Distributed Systems - Benedikt Bollig/Matthias Függer
- 16h00 Break -
- 16h30 TBA - Corentin Travers
- Tuesday 5th February 2019
- 10h15 Verifying consensus in the Heard-of model - Igor Walukiewicz
- 11h15 Recoloration distribuée - Mikëal Rabie
- 12h15 Lunch Break
- 14h00 Towards Formal Verification of Distributed Snapshot Algorithms - Arnaud Sangnier
- 15h00 Discussion
Program:
- Logique temporelle et synthèse d'algorithmes distribués - François Laroussinie
- The Assignment Problem - Carole Delporte
- Renaming with Unbounded Initial Names - Corentin Travers
25th May 2018
Most of the participants of this project were invited to the Dagstuhl Seminar Formal Methods and Fault-Tolerant Distributed Computing: Forging an Alliance and Anca Muscholl and Pierre Fraigniaud were some of the organizers of this seminar.
Programme:
- Presentation of the project - Arnaud Sangnier
- On the renaming problem - Corentin Travers
- Robustness in concurrent systems - Ahmed Bouajjani
- On decision problems in distributed systems- Pierre Fraigniaud
- Degrading Consensus in Unstable Times - Matthias Függer
- On verifying consensus within the heard-of-model - Anca Muscholl
- Discussion