SPIN 2023

Date: Apr 26, 2023 12:00 am – Apr 27, 2023 12:00 pm
Location: Paris, France

The 29th edition of the SPIN symposium aims to bring together researchers and practitioners 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 proceedings of SPIN 2023 will be published in Springer’s Lecture Notes in Computer Science series.

  • 2023
Submitted by Anonymous on