10 results · clear filters Sort: newest oldest name

1. International SPIN Symposium on Model Checking of Software (SPIN 2020)
   2020-07-24/25 · Chicago, United States
   Computer and information sciences
   e12ah79
2. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
   2017-07-10/14 · Santa Barbara, United States
   Computer and information sciences
   e11vy16
3. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
   2014-07-21/23 · San Jose, United States
   Computer and information sciences
   e11vy08
4. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
   2013-07-08/09 · Stony Brook, United States
   Computer and information sciences
   e1081n2
5. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
   2011-07-14/15 · Snowbird, United States
   Computer and information sciences
   e1081k6
6. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
   2008-08-10/12 · Los Angeles, United States
   Computer and information sciences
   e1081gc
7. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
   2005-08-22/24 · San Francisco, United States
   Computer and information sciences
   e1081dk
8. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
   2003-05-09/10 · Portland, United States
   Computer and information sciences
   e1081bq
9. International SPIN Symposium on Model Checking of Software (SPIN 2000, SPIN)
   2000-08-30 to 2000-09-01 · Stanford University, United States
   Computer and information sciences
   e10818x
10. International SPIN Symposium on Model Checking of Software (SPIN 1996)
    1996-08-05 · New Brunswick, United States
    Computer and information sciences
    e12ag3j

As JSON: https://labs.confref.org/api/search?series=s10ams3&country=US&mode=OfflineEventAttendanceMode