ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

Main Menu

Searching By

PARTNERS

Contact us

SPIN 2015 - 22nd International Workshop on Model Checking Software

Date2015-08-24 - 2015-08-26

Deadline2015-04-24

VenueStellenbosch, South Africa South Africa

Keywords

Websitehttp://www.spin2015.org

Topics/Call fo Papers

22nd International SPIN Workshop on Model Checking of Software (SPIN 2015) will be held in Stellenbosch, South Africa from 24?26 August 2015. SPIN 2015 is the latest in a successful series of workshops for practitioners and researchers interested in state space-based techniques for the validation and analysis of software systems.

Other CFPs

  1. 84th Anglo-American Conference of Historians
  2. 21st Annual International Conference on the Theory and Application of Cryptology and Information Security
  3. Workshop on Formal Methods and Model-Driven Engineering in Robotics
  4. 1st Formal Methods in SW Engineering Education and Training Workshop
  5. 2ND INTERNATIONAL WORKSHOP ABOUT SETS AND TOOLS (SETS 2015)

Last modified: 2015-01-25 23:45:35