SPIN 2023

    April 26-27
    Paris

Abstract: Jan 9 AoE
Submission: Jan 16 AoE
Notification: Feb 16 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