FW: [Call for Papers] INFINITY 2011, Taipei, Taiwan

[Farn Wang]

Please post - apologies for multiple copies.]

=========== 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 <http://soslab.nccu.edu.tw/infinity11>  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
<http://style.eptcs.org/>  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
<https://www.easychair.org/conferences/?conf=infinity2011> .

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


To stop receiving notices about INFINITY, please reply with "DROP INFINITY "
in the subject field.