Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: afshinamighi || 3037 views || tracked by 5 users: [display]

CPP 2013 : Certified Programs and Proofs

FacebookTwitterLinkedInGoogle

Link: http://cpp2013.forge.nicta.com.au/
 
When Dec 9, 2013 - Dec 11, 2013
Where Melbourne, Australia
Abstract Registration Due May 30, 2013
Submission Deadline Jun 7, 2013
Categories    formal verification   mechanized verification
 

Call For Papers

[Empty]

Related Resources

TAP 2024   18th International Conference on Tests and Proofs
IEA/AIE 2025   The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
ZKDAPPS 2024   1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
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.