Visible to the public SPIN 2023Conflict Detection Enabled

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.

Event Date: 
Wed, 04/26/2023 - 7:00am - Thu, 04/27/2023 - 7:00pm
Event Details
Location: 
Paris, France
Spotlight Slideshow Image: