Call for Papers

The Aim of the workshop 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.


  • 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 ten 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 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 judeged 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 special www submission form.

Important Dates:

  • Regular Papers
    • Submission: May 27, 2002. Extended to June 2.
    • Notification: June 12, 2002

  • Presentations
    • Submission: July 15, 2002
    • Notification: July 30, 2002

Preliminary proceedings containing extended abstracts of accepted papers 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.

The INFINITY 2002 workshop is a satellite workshop of the 13th International Conference on Concurrency Theory CONCUR 2002. The workshop will be held at 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.