|
Aim:
The aim of the INFINITY workshop is to provide a forum for
researchers interested in the development of formal methods and
algorithmic techniques for the analysis of systems with
infinitely many states, and their application in automated
verification of complex software and hardware systems.
Topics:
Topics
of interest include (but are not limited to):
Infinite-state models of
software/hardware systems
Abstraction techniques for
infinite-state systems
Symbolic analysis techniques
and data structures for representing infinite state spaces
Model-checking, static
analysis, abstract interpretation,
preorder/equivalence-checking, and control synthesis for
infinite-state systems
Parameterized networks of
parallel processes, dynamic networks, mobile systems
Systems with unbounded dynamic
data and control structures
(recursion, dynamic instantiation
of processes, dynamic linked data structures, unbounded
communication channels, web services, infinite data domains)
Probabilistic and timed
systems
Games in modeling and
verification of infinite-state systems
Verification techniques for
security properties, cryptographic protocols
Applications of verification techniques on infinite-state
systems
Important Dates:
Regular Papers:
Submission
deadline: July 4,
2011 23:59 (AOE time) (Extended)
Notification: July 25,
2011
Final version: August 15, 2011
Presentations:
Submission
deadline: August 20, 2011 23:59 (AOE time)
Notification:
September 5, 2010
Workshop: October 10, 2010
Submission:
Regular
papers will be thoroughly evaluated by the program
committee and accepted submissions will be published in the
proceedings. Authors are invited to submit an original
contribution presenting unpublished work in the relevant areas.
By submitting you agree that, in case of acceptance, at least one
(co-)author will register and present the paper at the workshop.
Contributions should be typeset in the EPTCS
format and should not exceed 15 pages.
Presentations are reports
on recent (or ongoing) work. 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 judged solely on
the basis of their attractiveness to the workshop. Authors are
invited to submit a one-page abstract.
Both kind of papers should be submitted through EasyChair.
Proceedings
As
in the past INFINITY workshops, all accepted papers will be
published in archived electronic notes (Electronic
Proceedings in Theoretical Computer Science). High quality
submissions may also be considered for a journal special issue in
either FMSD (Formal Methods in Systems Design) or STTT (Software
Tools for Technology Transfer).
|