Workshops Overview
- ADGA: Workshop on Advances in Distributed Graph Algorithms
Monday, October 4
Chair: Sebastian Brandt
Invited speakers: Alkida Balliu, Anton Bernshteyn, Peter Davies, Laurent Feuilloley, Krzysztof Nowicki, and Goran Zuzic.
- FRIDA: Workshop on Formal Reasoning in Distributed Algorithms
Monday, October 4 and Friday, October 8
Organizers: Swen Jacobs, Igor Konnov, Joseph Widder, Stephan Merz, Marijana Lazić, Giuliano Losa
Invited speakers: Christopher Goes, Bernhard Kragl, Julian Loss, Sreeja S Nair, Andreas Podelski, Karem Sakallah, Roopsha Samanta, Joseph Tassarotti
- CELLS: Workshop on Computing among Cells
Friday, October 8
Organizers: Matthias Függer, Manish Kushwaha, Thomas Nowak
Invited speakers: Luca Cardelli, Ángel Goñi-Moreno, Mustafa Khammash, Nancy Lynch, Kiran Raosaheb Patil
- TLA+ Workshop
Friday, October 8
Organizers: Stephan Merz, Igor Konnov, Markus Kuppe
The registration for the workshops is handled through the DISC registration.
