Topics:
-
Theory of Self-Stabilization
-
Distributed Algorithms
-
Fault-Tolerant Distributed Systems
-
Formal Methods, Validation, Verification, and Synthesis
-
Safety and Security
Track Chairs:
- Vijay Garg (University of Texas – Austin, USA)
- Sergio Rajsbaum (UNAM, Mexico)
Committee:
- Costas Busch (Louisiana State University, USA)
- Fathiyeh Faghih (McMaster University, Canada)
- Ylies Falcone (University of Grenoble, France)
- Panagiota Fatourou (University of Ioannina, Greece)
- Leszek Gasieniec (University of Liverpool, UK)
- Danny Hendler (Ben-Gurion University, Israel)
- Ted Herman (University of Iowa, USA)
- Prasad Jayanti (Dartmouth College, USA)
- Kishore Kothapalli (IIIT – Hyderabad, India)
- Evangelos Kranakis (Carleton University, Canada)
- Fabian Kuhn (University of Freiburg, Germany)
- Petr Kuznetsov (Telecom ParisTech, France)
- Hammurabi Mendes (University of Rochester, USA)
- Neeraj Mittal (University of Texas – Dallas, USA)
- Achour Mostefaoui (University of Nantes, France)
- David Peleg (Weizmann Institute, Israel)
- Alper Sen (Bogazici University, Turkey)
- Josef Widder (TU – Vienna, Austria)
- Philipp Woelfel (University of Calgary, Canada)