Ezio Bartocci is organizing the SPIN Symposium

Ezio Bartocci is organizing International SPIN Symposium on Model Checking of Software in Stony Brook, NY, USA.