Verification of Infinite State Systems with Application to Security
March 17-22, 2005
Timisoara (Romania)
Objective.   VISSAS 2005 is a NATO Advanced Research
Workshop providing a forum to discuss research issues and address
challenges in verification of infinite-state systems with applications to

Topics of particular interest include:

.    techniques for modeling and analysis of infinite-state systems
.    equivalence checking and model checking for 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
.    decidability and complexity results for various classes of 
     infinite-state systems
.    tools and case studies involving realistic infinite-state applications

Organization.   The workshop program will include lectures delivered
by invited speakers, presentation of research papers selected on the
basis of their quality and relevance to the workshop, and round table

Participation.   Anyone interested in verification of infinite-state systems
is invited to apply. We especially encourage graduate students and
post-doctoral fellows with some experience in the field. The number of
participants is limited. The program committee will select those candidates
who will benefit most from the workshop.
(for more details please consult http://vissas.ieat.ro/)

Presenting a research paper at the workshop is strongly encouraged.
Papers must describe original work and must not substantially overlap
with papers previously published or submitted to a journal or a conference.
(for more details please consult http://vissas.ieat.ro/)

A registration fee of 100 Euro is required for participants from
non-academic institutions. For participants from academic institutions this
fee is waived and a limited number of grants covering travel and
accommodation expenses are available as well.

Publication.   The proceedings of the workshop will be published in the
NATO Science Series by IOS Press.

Important Dates 

.    Deadline for paper submissions:   November 1, 2004
.    Deadline for applications:   December 1, 2004
.    Notification of acceptance:   December 6, 2004
.    Final version of papers due:   January 10, 2005
.    Workshop:   March 17-22, 2005

Venue.   The workshop will be hosted by the Institute e-Austria Timisoara
(Romania), a research and technology transfer institute in the field of
information technologies.

Program Committee

Danie`le Beauquier (Paris)
Ahmed Bouajjani (Paris)
Edmund Clarke (Pittsburgh)
Catalin Dima (Paris) - co-chair
Yassine Lakhnech (Grenoble)
Dan C. Marinescu (Orlando) - co-chair
Richard Mayr (Freiburg)
Marius Minea (Timisoara) - co-chair
Anca Muscholl (Paris)
Rene Peralta (Yale)
Anatol Slissenko (Paris)
Ferucio L. Tiplea (Iasi) - general chair
Helmut Veith (Mu:nchen)
Jeannette Wing (Pittsburgh)
Pierre Wolper (Li├Ęge)

Organizing Committee

Dan C. Marinescu (Orlando)
Ferucio L. Tiplea (Iasi)
Marius Minea (Timisoara)
Catalin Dima (Paris)

For more details please consult the workshop home page

Best Regards,
VISSAS Organizing Committee