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
- parameterized systems
- calculi for mobility and security
- finite-state abstractions of infinite-state systems
The programme of Infinity'02 should reflect recent results and trends
in the area. Therefore, there are two types of submissions:
papers and presentations.
All papers should be submitted via a special
- 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
not exceeding ten pages before May 27, 2002.
Authors will be notified of acceptance by June 12, 2002.
are reports on recent (or ongoing) work.
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.
- Regular Papers
- Submission: May 27, 2002. Extended
to June 2.
- Notification: June 12, 2002
- 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
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.