Home Categories
CFPs Conf Series
My List
My Archive
On iPhone
On Android
posted by user: afshinamighi || 3236 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

ZKDAPPS 2025   2nd IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications (@ICBC2025)
AREA 2025   Fifth International Workshop on Agents and Robots for reliable Engineered Autonomy
LightSEC 2025   6th International Workshop on Lightweight Cryptography for Security & Privacy (LightSEC 2025)
ICOOOLPS 2025   International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
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.