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

Christel Baier, Bonn (D) Alain Finkel, Cachan (F) Antonín Kucera, Brno (CZ) Richard Mayr, Freiburg (D) Faron Moller, Swansea (UK) Philippe Schnoebelen, Cachan (F), chair

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