Formal Methods in Distributed Systems
Chair: Sandeep Kulkarni and Sayan Mitra- Gul Agha, University of Illinois at Urbana-Champaign, USA
- Borzoo Bonakdarpour, Verimag Laboratory, France
- Ali Ebnenasir, Michigan Technological University, USA
- Vijay Garg, University of Texas at Austin, USA
- Seth Gilbert, École Polytechnique de Fédérale de Lausanne, Switzerland
- Oded Maler, VERIMAG, France
- Jose Meseguer, University of Illinois at Urbana-Champaign, USA
- Aditya Nori, Microsoft Research, India
- Natarajan Shankar, SRI's Computer Science Laboratory, USA
- Scott Smolka, Stony Brook University, USA