posted by user: afshinamighi || 3219 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)
SOMET 2025   24th International Conference on Intelligent Software Methodologies Tools and Techniques
ICOOOLPS 2025   International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems