Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2024
2025
2024+
all
posted by user:
afshinamighi
|| 2969 views || tracked by 5 users:
[
display
]
afshinamighi
,
lghn1984
,
akashoshin
,
arturufms
,
joaopizani
[
hide
]
CPP 2013 : Certified Programs and Proofs
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