[Om-announce] CFP - First International Pervasive Model Checking Workshop (PMCW 2010 ) @ Singapore

[jun sun]

------------------- CFP for PMCW 2010 ----------------------
                  CALL FOR PAPERS
The First International Pervasive Model Checking Workshop (PMCW 2010 )
       http://www-users.aston.ac.uk/~wangh10/PMCW/
             Singapore, 21st September 2010
             A Satellite Workshop of ATVA2010
-------------------------------------------------------
Aim:
-------------------------------------------------------
After decades of development, model checking has established as an
effective system analysis technique.
This is evidenced by recent success stories from Intel i7 processor
and the SLAM project (Microsoft) Model checking is finding its ways
into many methodologies and domains. The aim of Pervasive Model
Checking workshop is to provide a forum for researchers interested in
applying model checking techniques to different domains or settings.
-------------------------------------------------------
Topics of Interests
-------------------------------------------------------
Topics of interest include, but are not limited to,
the following:
* Model checking case study
* Domain specific model checking techniques
* Domain specific abstraction techniques
* Experience in applying model checking
* Modelling language design for model checking
* Property specification for model checking
-------------------------------------------------------
Paper Submission
-------------------------------------------------------
Submit original manuscripts with a maximum of 15 pages (regular
paper), and two pages (Fast Abstract Track). Each paper should include
a title, and the name and affiliation of each author. 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. Submission should be made through
EasyChair by following the link:
http://www.easychair.org/conferences/?conf=Pmcw10.
-------------------------------------------------------
Important Dates
-------------------------------------------------------
* Submission deadline: July 15, 2010 23:59 (Apia time)
* Notification: August 05, 2010
* Final version: August 25, 2010
* Workshop: September 21, 2010
-------------------------------------------------------
Program Committee
-------------------------------------------------------
Dr Chunqing Chen, National University of Singapore
Dr Jun Pang, UniversitŽ du Luxembourg , LU
Dr Jun Sun, National University of Singapore, SG (co-chair)
Dr Kenji Taguchi, National Institute of Advanced Industrial Science
and Technology, JP
Dr Hai Wang, Aston University, UK (co-chair)
Dr Liu Yang, National University of Singapore
-------------------------------------------------------
Further Information:
-------------------------------------------------------
* Dr Jun Sun (sunj at comp.nus.edu.sg)
* Dr Hai Wang (H.WANG10 at aston.ac.uk)
-------------------------------------------------------


-- 
yours,
Sun Jun