Post Doc
Theorem Proving in Linear Logic
- Contact: Kaustuv Chaudhuri (
kaustuv dot chaudhuri at inria dor fr
) - Part of the INRIA Post Doc Competition, 2012. Application Deadline: 30 June, 2012
Extensions to the design and logic of the Abella prover
- Contact: Dale Miller (
dale.miller@inria.fr
) - Part of the INRIA Post Doc Competition, 2012. Application Deadline: 30 June, 2012
Internships
M2 level: Proof certificates for some basic proof systems in classical logic. Posted 12 November 2011. This internship will be done by Zakaria Chihani. M2 level: Relating double-negation translations and focused proof systems. Posted 12 November 2011.
Post Doc
Theorem Proving in Linear Logic
- Contact: Kaustuv Chaudhuri (
kaustuv dot chaudhuri at inria dor fr
) - Part of the INRIA Post Doc Competition, 2012. Application Deadline: 30 June, 2012
ProofCert [fill in] STRUCTURAL [fill in]
Internships
RAPT [fill in] M2 level: Proof certificates for some basic proof systems in classical logic. Posted 12 November 2011. This internship will be done by Zakaria Chihani. M2 level: Relating double-negation translations and focused proof systems. Posted 12 November 2011.
Post Doc
Theorem Proving in Linear Logic
- Details
- Contact: Kaustuv Chaudhuri (
kaustuv dot chaudhuri at inria dor fr
) - Part of the INRIA Post Doc Competition, 2012. Application Deadline: 30 June, 2012
ProofCert [fill in] STRUCTURAL [fill in]
Internships
RAPT [fill in]
-
Thèse
Description de l’offre.
-
Postdoc
Description de l’offre.