Search: (more)
Header

Conference Calendar: Conference SPIN

WWW WWW   SPIN 2018
SPIN Workshop on Model Checking of Software
20 Jun 2018 - 22 Jun 2018 (Málaga, Spain)
| abstracts: 11 Feb 2018 | papers: 18 Feb 2018 | notification: 13 Apr 2018 |
 
WWW WWW   SPIN 2017
SPIN Workshop on Model Checking of Software
13 Jul 2017 - 14 Jul 2017 (Santa Barbara, CA, USA)
| abstracts: 10 Feb 2017 | papers: 10 Feb 2017 | notification: 20 May 2017 |
 
WWW WWW   SPIN 2017
SPIN Workshop on Model Checking of Software
13 Jul 2017 - 14 Jul 2017 (Santa Barbara, CA, USA)
| abstracts: 10 Feb 2017 | papers: 17 Feb 2017 | notification: 20 May 2017 |
 
WWW WWW   SPIN 2016
SPIN Workshop on Model Checking of Software
07 Apr 2016 - 08 Apr 2016 (Eindhoven, The Netherlands)
| papers: 18 Jan 2016 | notification: 12 Feb 2016 |
 
WWW WWW   SPIN 2015
SPIN Workshop on Model Checking of Software
24 Aug 2015 - 26 Aug 2015 (Stellenbosch, South Africa)
| abstracts: 17 Apr 2015 | papers: 24 Apr 2015 | notification: 15 Jun 2015 |
 
WWW WWW   SPIN 2014
SPIN Workshop on Model Checking of Software
21 Jul 2014 - 23 Jul 2014 (San Jose, CA, USA)
| papers: 22 Apr 2014 | notification: 23 May 2014 |
 
WWW WWW   SPIN 2013
SPIN Workshop on Model Checking of Software
08 Jul 2013 - 09 Jul 2013 (Stony Brook, NY, USA)
| abstracts: 08 Mar 2013 | papers: 15 Mar 2013 | notification: 15 Apr 2013 |
 
WWW WWW   SPIN 2012
SPIN Workshop on Model Checking of Software
23 Jul 2012 - 24 Jul 2012 (Oxford, UK)
| abstracts: 26 Mar 2012 | papers: 30 Mar 2012 | notification: 07 May 2012 |
 
WWW WWW   SPIN 2011
SPIN Workshop on Model Checking of Software
14 Jul 2011 - 15 Jul 2011 (Cliff Lodge, Snowbird, Utah)
| papers: 15 Apr 2011 | notification: 13 May 2011 |
 
WWW WWW   SPIN 2010
SPIN Workshop on Model Checking of Software
27 Sep 2010 - 29 Sep 2010 (University of Twente, The Netherlands)
| papers: 09 Apr 2010 | notification: 07 Jun 2010 |
 
WWW WWW   SPIN 2009
SPIN Workshop on Model Checking of Software
26 Jun 2009 - 28 Jun 2009 (Grenoble, France)
| papers: 24 Mar 2009 | notification: 10 Apr 2009 |
 
WWW WWW   SPIN 2008
SPIN Workshop on Model Checking of Software
10 Aug 2008 - 12 Aug 2008 (Los Angeles, USA)
| papers: 02 Apr 2008 | notification: 10 May 2008 |
 
WWW WWW   SPIN 2007
SPIN Workshop on Model Checking of Software
01 Jul 2007 - 03 Jul 2007 (Berlin, Germany)
| papers: 15 Mar 2007 | notification: 15 Apr 2007 |
 
WWW WWW   SPIN 2006
SPIN Workshop on Model Checking of Software
25 Mar 2006 - 02 Apr 2006 (Vienna, Austria)
| papers: 02 Dec 2005 | notification: 13 Jan 2006 |
 
WWW WWW   SPIN 2005
SPIN Workshop on Model Checking of Software
22 Aug 2005 - 24 Aug 2005 (Hanoi, Vietnam)
| abstracts: 01 Apr 2005 | papers: 08 Apr 2005 |
 
WWW WWW   SPIN 2004
SPIN Workshop on Model Checking of Software
01 Apr 2004 - 03 Apr 2004 (Barcelona, Spain)
| papers: 14 Dec 2003 | notification: 18 Jan 2004 |
 
WWW WWW   SPIN 2003
SPIN Workshop on Model Checking of Software
09 May 2003 - 10 May 2003 (Portland, Oregon)
| papers: 06 Dec 2002 | notification: 01 Feb 2003 |
 
WWW WWW   SPIN 2001
SPIN Workshop on Model Checking of Software
19 May 2001 - 20 May 2001 (Toronto, Canada)
| papers: 19 Feb 2001 | notification: 26 Feb 2001 |
 
WWW WWW   SPIN 2000
SPIN Workshop on Model Checking of Software
30 Aug 2000 - 01 Sep 2000 (Stanford University California, USA)
| papers: 01 May 2000 | notification: 05 Jun 2000 |
 
WWW WWW   SPIN 1999
SPIN Workshop on Model Checking of Software
05 Jul 1999 - 05 Jul 1999 (Trento, Italy)
| papers: 01 Apr 1999 | notification: 01 May 1999 |