[ecoop-info] Call for Participation - SPIN 2021

Laarman, A.W. a.w.laarman at liacs.leidenuniv.nl
Tue Jun 29 22:43:56 CEST 2021


                                    Call for Participation

                                           SPIN 2021

        International Symposium on Model Checking of Software

                                   July 12, 2021
  from 9:50 to 18:15 CEST

                                 ONLINE EVENT

Conference program: https://conf.researchr.org/home/spin-2021

About SPIN

The 27th 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 the analysis of sequential software. Submissions are solicited on theoretical results, novel algorithms (classical and quantum), tool development, including for modern hardware (parallel and distributed), and empirical evaluation.


Registration is free. In order to receive the event links, sign up here:

Invited speakers

* ‪Vincenzo Ciancia‬, ISTI-CNR
* Mariëlle Stoelinga, Twente / Radboud University
* Moshe Vardi, Rice University

For the complete program and abstracts, see the website.


SPIN 2021 will feature a virtual environment for participants to connect and meet online.


Alfons Laarman, Leiden University
Ana Sokolova, University of Salzburg

More information about the ecoop-info mailing list