SPIN 2018: 25th International Symposium on Model Checking of Software University of Malaga Malaga, Spain, June 20-22, 2018 |
Conference website | http://spin2018.uma.es |
Submission deadline | February 18, 2018 |
The 25th edition of the SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms, tool development, and empirical evaluation.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full papers describing fully developed work and complete results (16 pages)
- Short Papers presenting tools, technology, experiences with lessons learned, new ideas, work in progress with preliminary results, and novel contributions to formal methods (6 pages).
-
Papers should be submitted via the EasyChair SPIN 2018 submission website: https://easychair.org/conferences/?conf=spin20180
Committees
Program Committee
-
Program Chairs
- María del Mar Gallardo, University of Málaga, Spain (gallardo@lcc.uma.es)
- Pedro Merino, University of Málaga, Spain (pedro@lcc.uma.es)
-
Program Committee
- María Alpuente, Technical University of Valencia, Spain
- Dragan Bosnacki, Eindhoven University of Technology, Netherlands
- Rance Cleaveland, University of Maryland, USA
- Stefan Edelkamp, King’s College London, UK
- Hakan Erdogmus, Carnegie Mellon, USA
- Stefania Gnesi, CNR, Italy
- Patrice Godefroid, Microsoft Research, USA
- Klaus Havelund, NASA/Caltech Jet Propulsion Laboratory, USA
- Gerard Holzmann, Nimble Research, USA
- Radu Iosif, Verimag, France
- Frédéric Lang, INRIA, France
- Kim Larsen, Aalborg University, Denmark
- Stefan Leue, University of Konstanz, Germany
- Alberto Lluch Lafuente, Technical University of Denmark, Denmark
- Irina Mariuca Asavoae, INRIA, France
- Alice Miller, University of Glasgow, UK
- Corina Pasareanu, CMU/NASA Ames, USA
- Doron Peled, Bar Ilan University, Israel
- Charles Pecheur, Université catholique de Louvain, Belgium
- Neha Rungta, Amazon Web Services, USA
- Antti Valmari, University of Jyväskylä, Finland
- Jaco Van de Pol, University of Twente, Enschede, Netherlands
- Willem Visser, Stellenbosch University, South Africa
- Farn Wang, National Taiwan University, Taiwan
-
Steering Committee
- Dragan Bosnacki, Eindhoven University of Technology, Netherlands (chair)
- Susanne Graf, Verimag, France
- Gerard Holzmann, Nimble Research, USA
- Stefan Leue, University of Konstanz, Germany
- Neha Rungta, Amazon Web Services, USA
- Jaco Van de Pol, University of Twente, Enschede, Netherlands
- Willem Visser, Stellenbosch University, South Africa
Organizing committee
- Carlos Canal, University of Málaga, Spain
- María del Mar Gallardo, University of Málaga, Spain
- Pedro Merino, University of Málaga, Spain
- Laura Panizo, University of Málaga, Spain
Contact
All questions about submissions should be emailed to gallardo@lcc.uma.es and pedro@lcc.uma.es