Program Chairs
- Owolabi Legunsen, Cornell University
- Grigore Rosu, University of Illinois at Urbana-Champaign
Program Committee
- Axel Legay, UCLouvain
- Cristina Seceleanu, Mälardalen University
- Doron Peled, Bar Ilan University
- Jaco van de Pol, Aarhus University
- Kyungmin Bae, Pohang University of Science and Technology
- Stefan Leue, University of Konstanz
- Neeraj Suri, Lancaster University
- Georgiana Caltais, University of Konstanz
- Madalina Erascu, West University of Timisoara
- Richard Defrancisco, Augusta University
- Christian Schilling, Aalborg University
- Gerard Holzmann, Nimble Research
- Corina Pasareanu, CMU, NASA, KBR
- Sandeep Kulkarni, Michigan State University
- Klaus Havelund, Jet Propulsion Laboratory
- Alberto Lluch Lafuente, Technical University of Denmark
- Andrei Stefanescu, University of Illinois at Urbana-Champaign
- Allison Sullivan, The University of Texas at Arlington
- Kuen-Bang Hou Favonia, University of Minnesota
- Dragan Bosnacki, Eindhoven University of Technology
- Liyi Li, University of Maryland
Steering Committee
- Dragan Bosnacki (chair)
- Susanne Graf
- Gerard Holzmann
- Stefan Leue
- Jaco van der Pol
- Neha Rungta
- Willem Visser
Scroll Up