Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 2920 views || tracked by 10 users: [display]

SPIN 2011 : SPIN Workshop on Model Checking of Software

FacebookTwitterLinkedInGoogle

Link: http://research.microsoft.com/en-us/um/redmond/events/SPIN2011/index.htm
 
When Jul 13, 2011 - Jul 14, 2011
Where Cliff Lodge, Snowbird, Utah
Submission Deadline Apr 1, 2011
Notification Due May 13, 2011
Final Version Due Jun 3, 2011
 

Call For Papers

[Empty]

Related Resources

SPIN 2024   30th International Symposium on Model Checking Software
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
FPVM 2024   3rd International Workshop on Foundations and Practice of Visual Modeling
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ICAISE 2024   2024 3rd International Conference on Artificial Intelligence and Software Engineering (ICAISE 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
About Us | Contact Us | Data | Privacy Policy | Terms and Conditions
Partners: AI2's Semantic Scholar
This wiki is licensed under a Creative Commons Attribution-Share Alike 3.0 License.