12 results · clear filters Sort: newest oldest name

1. Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. (INFINITY)
   2013-01-01 · Hanoi, Vietnam
   Computer and information sciences
   e120spp
2. Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. (INFINITY)
   2012-01-01 · Paris, France
   Computer and information sciences
   e120s2z
3. Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. (INFINITY)
   2011-01-01 · Taipei, Taiwan
   Computer and information sciences
   e1212nd
4. Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. (INFINITY)
   2010-01-01 · Singapore
   Computer and information sciences
   e1210gs
5. Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. (INFINITY)
   2009-01-01 · Bologna, Italy
   Computer and information sciences
   e120ry7
6. 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
   2006 · Canada
   Computer and information sciences
   e120kbk
7. Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005
   2005 · San Francisco, United States
   Computer and information sciences
   e11cmbv
8. Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, INFINITY 2004, London, UK, September 4, 2004
   2004 · London, United Kingdom
   Computer and information sciences
   e11cmax
9. 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
   2003 · France
   Computer and information sciences
   e120qf7
10. 4th International Workshop on Verification of Infinite-State Systems (CONCUR 2002 Satellite Workshop), Infinity 2002, Brno, Czech Republic, August 24, 2002
    2002 · Brno, Czech Republic
    Computer and information sciences
    e11cm9z
11. Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997
    1997 · Bologna, Italy
    Computer and information sciences
    e120q7q
12. First International Workshop on Verification of Infinite State Systems, Infinity 1996, Università di Pisa, Pisa, Italy, August 30-31, 1996
    1996 · University of Pisa, Italy
    Computer and information sciences
    e120pmx

As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s10cdex