Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: roopsha || 3300 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 2025   31st International Symposium on Model Checking Software
VMCAI 2026   Verification, Model Checking and Abstract Interpretation
MODELSWARD 2026   14th International Conference on Model-Based Software and Systems Engineering
VSTTE 2025   Verified Software: Theories, Tools, Experiments
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
CAV 2025   37th International Conference on Computer Aided Verification
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
ClimateNLP @ ACL 2025   The 2nd Workshop of Natural Language Processing meets Climate Change
Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
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.