Visible to the public SPIN 2023Conflict Detection Enabled

Submitted by Anonymous on Tue, 12/06/2022 - 12:20pm
Apr 26, 2023 7:00 am - Apr 27, 2023 7:00 pm CEST

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 Details
Location: 
Paris, France
URL: 
https://spin-web.github.io/SPIN2023
Spotlight Slideshow Image: