Verification of Infinite-State Systems

15. INFINITY 2013: Hanoi, Vietnam

14. INFINITY 2012: Paris, France

13. INFINITY 2011: Taipei, Taiwan

12. INFINITY 2010: Singapore, Singapore

11. INFINITY 2009: Bologna, Italy

maintained by Schloss Dagstuhl LZI at University of Trier