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.

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, to infinity03@lsv.ens-cachan.fr.

Important Dates:

Submission: June 1st, 2003
Notification: July 7th, 2003
Final version: August 25th, 2003

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 ENTCS web page). Preliminary proceedings, containing the extended abstracts, will be available at the workshop.

Submitted presentations:
In accordance with the workshop spirit of INFINITY 2003, researchers willing to give a talk without submitting an actual original paper, are welcome to make proposals. Such offers will be considered by the program committee without any a priori bias.

The INFINITY 2002 workshop is a satellite workshop of the 14^th International Conference on Concurrency Theory CONCUR 2003. The workshop will be held on the day before the conference (September 2nd, 2003)

"; ?>