[TYPES/announce] (CFP) Certified Programs and Proofs 2013 - Weekend Extension on Final Submissions

Michael Norrish michael.norrish at nicta.com.au
Thu Jun 13 00:39:35 EDT 2013

Due to author request, we have extended the final submission deadline until
Monday, 17 June.

Thanks for submitting to CPP 2013!


3rd International Conference on Certified Programs and Proofs (CPP2013)

December 2013, Australia (co-located with APLAS 2013)

CPP is an international forum on theoretical and practical topics in all
areas, including computer science, mathematics, and education, that
consider certification as an essential paradigm for their work.
Certification here means formal, mechanized verification of some sort,
preferably with production of independently checkable certificates. We
invite submissions on topics that fit under this rubric.

For more, see http://cpp2013.forge.nicta.com.au

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 555 bytes
Desc: OpenPGP digital signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130613/b3e3c0d7/attachment-0001.sig>

More information about the Types-announce mailing list