SPIN 2023

    April 26-27
    Paris

Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE

SPIN 2023

29th International Symposium on Model Checking of Software

April 26-27, co-located with ETAPS 2023

ETAPS 2023 is scheduled to take place in Paris, organized by Sorbonne Université.

Paris.jpg

News