Events (12)
19962013
| Year | No. | Event | Place | Date |
|---|
| 2013 | 15 | Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. INFINITY | Hanoi | 2013-01-01 |
| 2012 | 14 | Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. INFINITY | Paris | 2012-01-01 |
| 2011 | 13 | Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. INFINITY | Taipei | 2011-01-01 |
| 2010 | 12 | Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. INFINITY | Singapore | 2010-01-01 |
| 2009 | 31 | Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. INFINITY | Bologna | 2009-01-01 |
| 2006 | 8 | Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008 | Canada | |
| 2005 | 7 | Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 | San Francisco | |
| 2004 | 6 | Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004 | London | |
| 2003 | 5 | Proceedings of INFINITY 2003, the 5th International Workshop on Verification of Infinite-State Systems, a satellite workshop of CONCUR 2003, Marseille, France, September 2, 2003 | France | |
| 2002 | 4 | 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002 | Brno | |
| 1997 | | Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997 | Bologna | |
| 1996 | | First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996 | University of Pisa | |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.
