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
|| 2788 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
AREA 2024
4th Workshop on Agents and Robots for reliable Engineered Autonomy
ZKDAPPS 2024
1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning