*******************************************************************

***                       INFINITY 2002                         ***

***        4th International Workshop on Verification of        ***

***                  Infinite-State Systems                     ***

***           (A Satellite Workshop of CONCUR 2002)             ***

***             http://www.fi.muni.cz/infinity02/               ***

***           August 24, 2002, Brno, Czech Republic             ***

***        SECOND CALL FOR PAPERS AND PRESENTATIONS             ***

*******************************************************************

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:

     Techniques for modeling and analysis of infinite-state systems;
     equivalence-checking and model-checking with infinite-state
     systems;
     parameterized systems; calculi for mobility and security; 
     finite-state abstractions of infinite-state systems.

Paper submission:

     The programme of Infinity'02 should reflect recent results 
     and trends in the area. Therefore, there are two types 
     of submissions: Regular papers and presentations.

     Regular papers will be thoroughly evaluated by the programme
     committee and accepted submissions will be published
     in the proceedings. Authors are invited to submit an 
     extended abstract not exceeding 10 pages before May 27, 2002.
     Authors will be notified of acceptance by June 12, 2002.

     Presentations are reports on recent (or ongoing) work.  
     There is no restriction as for previous/future publication 
     of the result. It is possible to submit a paper which 
     recently appeared (or which is going to appear) in the 
     proceedings of another conference, or which has not yet 
     been submitted. Neither the paper nor the abstract will be
     published in the proceedings. These contributions will 
     be judged solely on the basis of their attractiveness 
     to the workshop. Authors are invited to submit a one-page 
     abstract before July 15, 2002. Authors will be notified 
     of acceptance by July 30, 2002.

     All papers should be submitted via a www form reachable from 
     the Infinity'02 homepage (http://www.fi.muni.cz/infinity02).

Proceedings

     Preliminary proceedings containing the extended abstracts 
     will be available at the workshop. A special journal issue 
     devoted to the workshop is planned; it depends on the 
     number and quality of received papers.

Programme Committee:

     Parosh Abdulla, Uppsala (SE)
     Julian Bradfield, Edinburgh (UK)
     Didier Caucal, Irisa (F)
     Hubert Comon, LSV Cachan (F)
     Giorgio Delzanno, Genova (I)
     Yoram Hirshfeld, Tel-Aviv (Israel)
     Antonin Kucera (co-chair), Brno (CZ)
     Denis Lugiez, Marseille (F)
     Richard Mayr (co-chair), Freiburg (D)
     Bernhard Steffen, Dortmund (D)
     P.S. Thiagarajan, Chennai (India)
     Moshe Vardi, Rice (USA)}

Invited talk

     The invited talk will be delivered by Colin Stirling (Edinburgh).

Important Dates:

Regular papers:

    submission:    May 27, 2002
    notification:  June 12, 2002

Presentations

    submission:    July 15, 2002
    notification:  July 30, 2002

Further Information:

    kucera@fi.muni.cz, mayrri@informatik.uni-freiburg.de
    http://www.fi.muni.cz/infinity02/
     
Registration

    The INFINITY 2002 workshop is a satellite workshop of the
    13th International Conference on Concurrency Theory (CONCUR 2002) 
    (see http://www.fi.muni.cz/concur2002}). The workshop will be 
    held at the same location as CONCUR 2002, on the day immediately 
    after the conference (August 24). The participants of the 
    INFINITY 2002 workshop will also have the opportunity to attend 
    talks of the other CONCUR satellite workshops. Registration will 
    be handled by the CONCUR 2002 organizing committee.  
    A registration only for the workshop will also be possible.
    Expenses for fee, accommodation, and basic meals will be very
    modest. See http://www.fi.muni.cz/concur2002/ for details.