*******************************************************************
***                                                             ***
***                       INFINITY 2003                         ***
***                                                             ***
***        5th International Workshop on Verification of        ***
***                                                             ***
***                  Infinite-State Systems                     ***
***                                                             ***
***           (A Satellite Workshop of CONCUR 2003)             ***
***                                                             ***
***          http://www.lsv.ens-cachan.fr/infinity03/           ***
***                                                             ***
***          September 2nd, 2003, Marseilles, France            ***
***                                                             ***
***                      CALL FOR PAPERS                        ***
***                                                             ***
*******************************************************************

The aim:

      The aim is, to provide a forum for researchers interested in 
      the development of mathematical techniques for the analysis 
      and verification of systems with infinitely many states.

Topics of interest include (but are not limited to):

      Techniques for modeling and analysis of infinite-state systems;
      Equivalence-checking and model-checking with infinite-state systems; 
      Parameterized systems; 
      Probabilistic and timed systems; 
      Calculi for mobility and security; 
      Finite-state abstractions of infinite-state systems; 
      Data structures for infinite state spaces.

Paper submission:

      Papers presenting recent (or ongoing) work in the area are solicited. 
      Authors are invited to submit an extended abstract not exceeding ten 
      pages before June 1st, 2003. The submissions will be evaluated by the
      program committee. Authors will be notified of acceptance by 
      July 7th, 2003. Final versions of accepted  papers will be due by 
      August 25th, 2003. 

      All papers should be submitted electronically, by email.


Proceedings:

      The proceedings of INFINITY 2003 will appear in the Electronic Notes 
      in Theoretical Computer Science  series (ENTCS), in a volume
      collecting papers from  CONCUR 2003 satellite workshops. It is 
      preferable that submissions adopt the ENTCS formatting style (see
      http://johann.math.tulane.edu/~entcs/). Preliminary proceedings, 
      containing the extended abstracts, will be available at the workshop.


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

Invited talk

      ``Verifying Programs That Manipulate Pointers'', will be delivered by
      Anders Moeller (BRICS, Aarhus, DK). 

Important Dates:

      submission:    June 1st, 2003
      notification:  July 7th, 2003
      final version: August 25th, 2003

Further Information:

      E-mail: infinity03@lsv.ens-cachan.fr
      URL:    http://www.lsv.ens-cachan.fr/infinity03/

Registration

      Registration will be handled by the CONCUR 2003 organizing
      committee. A registration only for the workshop will also be 
      possible. See http://concur03.univ-mrs.fr/ for details.