Offres d’emploi

Post Doc

Theorem Proving in Linear Logic

Extensions to the design and logic of the Abella prover

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

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

ProofCert [fill in] STRUCTURAL [fill in]

Internships

RAPT [fill in]

  • Thèse

    Description de l’offre.

  • Postdoc

    Description de l’offre.