|
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:
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
Important Dates:
Submission deadline:
May 20th, 2005 (Friday)
Notification: June 17th, 2005
Final version for pre-proceedings: June 24th, 2005
Final version for ENTCS: September 29th, 2005
Paper Submission:
Authors are invited to submit an extended abstract presenting
recent (or ongoing) work in the areas relevant for the scope of
INFINITY. Contributions should not exceed 10 pages
and ENTCS format of the submission is highly recommended.
The submissions will be evaluated by the program committee
and accepted papers will be published in the workshop proceedings.
By submitting you agree that at least one (co-)author
will register and present the paper at the workshop.
Papers should be submitted electronically (in pdf format),
by email to both conference co-chairs (srba@cs.aau.dk,
sas@cs.sunysb.edu). Please, include a title, abstract,
all authors and contact details of a single corresponding author
(address, email and phone number) into the email as a plain text.
You should receive a confirmation of your
submission within two days. If not, then we did not receive
your submission so resubmit, please.
Proceedings:
Pre-proceedings of INFINITY 2005 will be available at the workshop,
published as a BRICS Research Report of Aarhus University.
Authors will be invited to place full papers (of at least ten pages)
in a volume of Electronic Notes in Theoretical
Computer Science series dedicated to workshops affiliated
to CONCUR'05.
The INFINITY 2005 workshop is a satellite workshop of the
16th International Conference on Concurrency Theory CONCUR 2005. The workshop
will be held at the same location as CONCUR 2005, on the day immediately
after the conference.
|