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.
Submitted by Anonymous
on
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.
Submitted by Anonymous
on