Colocated with ETAPS 2023 is the 29th International SPIN Symposium on Model Checking of Software (SPIN 2023).
SPIN 2023 will be held on 26 and 27 April 2023. SPIN 2023 is the latest in a successful series of workshops and symposia for practitioners and researchers interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation.

The deadline for submission of scientific papers is 16 January 2023.

The conference website is located here.

Who's online

We have 45 guests and no members online

Site Hosted by