INFINITY 2003 5th International Workshop on Verification of Infinite-State Systems A satellite workshop of CONCUR 2003
September 2nd, 2003 -- Marseilles, France   Local Organization

Philippe Schnoebelen   Lab. Spécification & Vérification ENS Cachan & CNRS UMR8643 61, avenue Président Wilson 94235 CACHAN Cedex - FRANCE   Tel: +33 1 47 40 75 30   e-mail: infinity03@lsv.ens-cachan.fr

About LSV

• Welcome
• Final Program
• Proceedings
• Program Committee
• Instructions to Authors
• Organization
• Call for Papers
• CFP (ps)
• CFP (pdf)

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique