International Workshop on Verification of Infinite-State Systems (INFINITY)

Venue statistics

records by year

document access 

    frequent authors

      15th INFINITY 2013: Hanoi, Vietnam

      14th INFINITY 2012: Paris, France

      13th INFINITY 2011: Taipei, Taiwan

      12th INFINITY 2010: Singapore, Singapore

      11th INFINITY 2009: Bologna, Italy

      8th INFINITY 2006: Bonn, Germany
      9th INFINITY 2007: Lisbon, Portugal
      10th INFINITY 2008: Toronto, ON, Canada

      7th INFINITY 2005: San Francisco, CA, USA

      6th INFINITY 2004: London, UK

      5th INFINITY 2003: Marseille, France

      4th INFINITY 2002: Brno, Czech Republic

      2nd INFINITY 1997: Bologna, Italy

      1st INFINITY 1996: Pisa, Italy

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics