ProofCert: Broad Spectrum Proof Certificates

This web site has moved here.

ProofCert is the name of an ERC Advanced Grant awarded to Dale Miller for the five years 2012-2016. This 2.2 million euro grant will finance several PhD students and Post Docs as well as fund visiting collaborators. A technical description is available.

News

1. INRIA has announced this award: French and English.
2. On 18 November 2011, Miller presented ProofCert to the Scientific Council of INRIA with these slides.
3. Two internships are propose for Spring 2012. These can lead to a PhD supported by this grant.