21 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. 26th International SPIN Symposium on Model Checking of Software (SPIN 2019, SPIN)
   2019-07-15/16 · Beijing, People's Republic of China
   MathematicsComputer and information sciences
   e11vy32
3. International SPIN Symposium on Model Checking of Software (SPIN 2018, SPIN)
   2018-06-20/22 · Málaga, Spain
   Computer and information sciences
   e11vy24
4. International SPIN Symposium on Model Checking of Software (SPIN 2017, SPIN)
   2017-07-10/14 · Santa Barbara, United States
   Computer and information sciences
   e11vy16
5. International SPIN Symposium on Model Checking of Software (SPIN 2016, SPIN)
   2016-04-07/08 · Eindhoven
   Computer and information sciences
   e1081p0
6. International SPIN Symposium on Model Checking of Software (SPIN 2015, SPIN)
   2015-08-24/26 · Stellenbosch, South Africa
   Computer and information sciences
   e10dy5w
7. International SPIN Symposium on Model Checking of Software (SPIN 2014, SPIN)
   2014-07-21/23 · San Jose, United States
   Computer and information sciences
   e11vy08
8. International SPIN Symposium on Model Checking of Software (SPIN 2013, SPIN)
   2013-07-08/09 · Stony Brook, United States
   Computer and information sciences
   e1081n2
9. International SPIN Symposium on Model Checking of Software (SPIN 2012, SPIN)
   2012-07-23/24 · Oxford, United Kingdom
   Computer and information sciences
   e1081m4
10. International SPIN Symposium on Model Checking of Software (SPIN 2011, SPIN)
    2011-07-14/15 · Snowbird, United States
    Computer and information sciences
    e1081k6
11. International SPIN Symposium on Model Checking of Software (SPIN 2010, SPIN)
    2010-09-27/29 · Kingdom of the Netherlands
    Computer and information sciences
    e1081j8
12. International SPIN Symposium on Model Checking of Software (SPIN 2009, SPIN)
    2009-06-26/28 · Grenoble, France
    Computer and information sciences
    e1081ha
13. International SPIN Symposium on Model Checking of Software (SPIN 2008, SPIN)
    2008-08-10/12 · Los Angeles, United States
    Computer and information sciences
    e1081gc
14. International SPIN Symposium on Model Checking of Software (SPIN 2007, SPIN)
    2007-07-01/03 · Berlin, Germany
    Computer and information sciences
    e1081ff
15. International SPIN Symposium on Model Checking of Software (SPIN 2006, SPIN)
    2006-03-30 to 2006-04-01 · Vienna, Austria
    Computer and information sciences
    e1081eh
16. International SPIN Symposium on Model Checking of Software (SPIN 2005, SPIN)
    2005-08-22/24 · San Francisco, United States
    Computer and information sciences
    e1081dk
17. International SPIN Symposium on Model Checking of Software (SPIN 2004, SPIN)
    2004-04-01/03 · Barcelona, Spain
    Computer and information sciences
    e1081cn
18. International SPIN Symposium on Model Checking of Software (SPIN 2003, SPIN)
    2003-05-09/10 · Portland, United States
    Computer and information sciences
    e1081bq
19. International SPIN Symposium on Model Checking of Software (SPIN 2002, SPIN)
    2002-04-11/13 · Grenoble, France
    Computer and information sciences
    e1081as
20. International SPIN Symposium on Model Checking of Software (SPIN 2001, SPIN)
    2001-05-19/20 · Toronto, Canada
    Computer and information sciences
    e10819v
21. 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

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