[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
16th International SPIN Workshop on Model Checking of Software (SPIN 2009) June 26--28, 2009, Grenoble, France Co-located with CAV 2009 <http://www-cav2009.imag.fr/> URL: http://ti.arc.nasa.gov/event/spin09/ The submission site is open until Sunday, March 29, 2009. Aim and Scope: The SPIN workshop is a forum for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems. The focus of the workshop is on theoretical advances and empirical evaluations based on explicit representations of state spaces, as implemented in the SPIN model checker or other tools, or techniques based on combinations of explicit and other symbolic representations. We welcome papers describing the development and application of state-space and path-exploration techniques for the testing and the verification of security-critical software, enterprise and web applications, embedded software, and other interesting software platforms. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. Invited Speakers: Patrice Godefroid, Microsoft Research, USA Marta Kwiatkowska, Oxford University, UK Joseph Sifakis (Turing Award 2007), VERIMAG, France Willem Visser, SEVEN Networks, USA Program Chair: Corina Pasareanu, CMU/NASA Ames Program Committee: Christel Baier, U Bonn, Germany Dragan Bosnacki, Eindhoven U, Netherlands Patricia Bouyer, ÉNS de Cachan, France Lubos Brim, Masaryk U, Czech Republic Marsha Chechik, U Toronto, Canada Matthew Dwyer, U Nebraska, USA Stefan Edelkamp, TU Dortmund, Germany Susanne Graf, VERIMAG, France Jaco Geldenhuys, U Stellenbosch, South Africa Klaus Havelund, JPL, USA Gerard Holzmann, JPL, USA Radu Iosif, VERIMAG, France Michael Jones, Brigham Young U, USA Sarfraz Khurshid, UT Austin, USA Orna Kupferman, Hebrew U, Israel Stefan Leue, U Konstanz, Germany Rupak Majumdar, UC Los Angeles, USA Madan Musuvathi, Microsoft Research, USA Koushik Sen, UC Berkeley, USA Scott Stoller, Stony Brook U, USA Farn Wang, National Taiwan U, Taiwan Pierre Wolper, U Liege, Belgium You can find more information on the SPIN 2009 web-page. Please submit your good papers to SPIN 2009! ******************************************************************************* -- Corina Pasareanu, PhD CMU/NASA Ames http://ti.arc.nasa.gov/profile/pcorina/