Program Chairs
- Owolabi Legunsen, Cornell University + University of Illinois at Urbana-Champaign
- Grigore Rosu, University of Illinois at Urbana-Champaign
Program Committee
- Axel Legay, UCLouvain
- Doron Peled, Bar Ilan University
- Alex Groce, Northern Arizona Univeristy
- A. Prasad Sistla, University of Illinois at Chicago
- Allison Sullivan, The University of Texas at Austin
- Eunsuk Kang, Carnegie Mellon University
- Alice Miller, University of Glasgow
- Stefan Leue, University of Konstanz, Department of Computer and Information Science
- Alberto Lluch Lafuente, Technical University of Denmark
- Gerard Holzmann, Nimble Research
- Cristina Seceleanu, Mälardalen University
- Corina Pasareanu, CMU/NASA Ames Research Center
- Jaco van de Pol, Aarhus University
- Kyungmin Bae, Pohang University of Science and Technology (POSTECH)
- Madalina Erascu, Institute e-Austria Timisoara and West University of Timisoara
- Neeraj Suri, Lancaster University
- Andreas Stahlbauer, University of Passau, Chair of Software Engineering II
- Dragan Bosnacki, Eindhoven University of Technology
- Sandeep Kulkarni, Michigan State University
- Scott Smolka, Stony Brook Universtiy
- Kuen-Bang Hou Favonia, University of Minnesota
Steering Committee
- Dragan Bosnacki, Eindhoven University of Technology (chair)
- Susanne Graf, Verimag
- Gerard Holzmann, Nimble Research
- Stefan Leue, University of Konstanz
- Jaco van der Pol, Aarhus University
- Neha Rungta, Amazon Web Services
- Willem Visser, Stellenbosch University
Scroll Up