*******************************************************************************
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
Registration is free. In order to receive the event links, sign up here:
https://conf.researchr.org/home/spin-2021#Registration
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.
Social
SPIN 2021 will feature a virtual environment for participants to connect and
meet online.
Contact
Alfons Laarman, Leiden University
Ana Sokolova, University of Salzburg
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
