CFP: MoCSeRS 2010 (International Workshop on Model Checking Secure and Reliable Systems)

Call for Papers * The First International Workshop on * * Model Checking Secure and Reliable Systems * * (MoCSeRS'10) * * (http://www.comp.nus.edu.sg/~pat/MoCSeRS2010/) * * in conjunction with SSIRI 2010 * * (http://paris.utdallas.edu/ssiri10/) * General Information MoCSeRS 2010 is the first international workshop on model checking secure and reliable systems, collocated with SSIRI 2010. MoCSeRS workshop aims at organizing research discussions on the verification of reliable, secure, and trustworthy software systems with the focus on model checking techniques. Researchers and practitioners will present innovative theories, methods and tools, as well as discussing on-going ideas, experiences and best-of-breed practices for applying model checking techniques to ensure the security and reliability of software systems in a more effective and efficient way. As model checking has wide industrial applications, we also welcome industrial partners to demonstrate their successful tools and experiences in using model checking. The one day workshop will be held at the National University of Singapore. Scope of the Workshop The topics of interest include, but are not limited to: + Security, Reliability, Availability, and Safety of Software Systems + Validation and Verification + Model Checking + Methods and Theories + Automation and Tools + Industry Best Practices + Benchmark and Empirical Studies Important Dates February 10, 2010: Submission due March 10, 2010: Author notification April 1, 2010: Camera-ready and author registration due June 9, 2010 (tentative): Workshop Submission, Workshop Proceedings, Paper Presentation Submit original papers (not published or submitted elsewhere) with a maximum of 10 pages. Include the title of the paper, the name and affiliation of each author, a 150-word abstract, and up to 8 keywords. The format of your submission must follow the IEEE conference proceedings format. Please submit your paper at http://paris.utdallas.edu/ssiri10/start/www/MoCSeRS/. Or visit the conference website http://paris.utdallas.edu/ssiri10, click on "Paper Submission" in the left menu, and select "Submit papers to Workshop on Model Checking Secure and Reliable Systems (MoCSeRS)". Accepted submissions will be published by IEEE Press and available in the IEEE digital library. One of the authors needs to register and present the accepted submission. Each paper has 30 minutes, with 20-25 minute presentation. Organizers Yang Liu (liuyang@comp.nus.edu.sg) National University of Singapore, Singapore Jing Sun (j.sun@cs.auckland.ac.nz) The University of Auckland, New Zealand Please do not hesitate to contact us by email if you have any question or remarks. Program Committee Chunqing Chen National University of Singapore, Singapore Yuanfang Li The University of Queensland, Australia Yang Liu National University of Singapore, Singapore Jonathan S. Ostroff York University, Canada Jun Pang Universite du Luxembourg, Luxembourg Shengchao Qin Durham University, United Kingdom Jing Sun The University of Auckland, New Zealand Kenji Taguchi National Institute of Informatics, Japan Farn Wang National Taiwan University, Taiwan Hai H. Wang Aston University, United Kingdom Lijun Zhang Saarland University, Germany (More to be confirmed) -- Dr. Jing Sun, Department of Computer Science The University of Auckland, Private Bag 92019 38 Princes Street, Auckland, New Zealand Phone: +64-9-3737599 ext. 82286 Fax: +64-9-3737453 Email: j.sun@cs.auckland.ac.nz Web: http://www.cs.auckland.ac.nz/~jingsun