Home
Login
Register
Account
Logout
Categories
CFPs
Post a CFP
Conf Series
My List
Timeline
My Archive
On iPhone
On Android
2026
2027
2026+
all
posted by user:
afshinamighi
|| 3595 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
ZKDAPPS 2026
3rd IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
