=========== INFINITY 2011 | CALL FOR PAPERS ====================

INFINITY 2011: The 13th International Workshop on Verification of Infinite-State Systems

October 10th, 2011 - Taipei, Taiwan

Web Page: http://infinity.mis.nccu.edu.tw/infinity11

Submission page: https://www.easychair.org/account/signin.cgi?conf=infinity2011

Submission deadline: June 20, 2011

--------------------------------------------------------------------------------


Aim

INFINITY 2011 provides 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. This year INFINITY will be co-
located with ATVA 2011 and ESWEEK 2011. ATVA is one of the major international conferences on
automated verification. ESWEEK consists of three major conferences (EMSOFT 2011, CASES 2011, and
CODES+ISSS 2011) and over ten workshops. We expect these joint events to attract many researchers
from all around the world.

Topics of interest include (but are not limited to):

- Applications of verification techniques on infinite-state systems (New!)
- 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

Important Dates
Regular Papers:
Submission deadline: June 20, 2011 23:59 (AOE time)
Notification: July 20, 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).

Invited Speaker

Tevfik Bultan, University of California Santa Barbara

Program Committee
- Parosh Abdulla, Uppsala University, Sweden
- Rajeev Alur, University of Pennsylvania, United States

- Mohamed Faouzi Atig, Uppsala University, Sweden

- Yu-Fang Chen, Academia Sinica, Taiwan

- Javier Esparza, Technische Universität München, Germany

- Peter Habermehl, LIAFA, Université Denis Diderot---Paris 7, CNRS, France

- Shuvendu Lahiri, Microsoft Research, United States

- Akash Lal, Microsoft Research, India

- Jerome Leroux, LaBRI, Domaine Universitaire , CNRS, France

- Rupak Majumdar, Max Plank Institute / University of California, Los Angeles, United States

- Robby, Kansa State University, United States

- Neha Rungta, NASA Ames Research Center, United States

- Tomas Vojnar, Brno University of Technology, Czech Republic

- Chao Wang (co-chair), NEC Laboratory America, United States

- Fang Yu (co-chair), National Chengchi University, Taiwan