Scope of MoCSeRS Workshop

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.

Topics of Interest

  • 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 20, 2010: Workshop papers due (extended)
  • March 10, 2010: Author notification
  • April 15, 2010: Camera-ready and author registration due (extended)
  • June 9, 2010: Workshop

General Inquiries

For more detailed and updated information, please refer to or contact: Liu Yang and Sun Jing