Organized workshops

• 1st Workshop on the certification of termination proofs, Nancy, 11-12 May 2007 (8 participants)

• 3rd Nancy-Saarbrücken Workshop on Logic, Proofs and Programs, Nancy, 13-14 October 2005 (39 participants)

• QSL Workshop on Functional Programming and Verification, Nancy, 12 May 2005 (about 30 participants)

• 2nd Workshop on Coq and rewriting, Ecole Polytechnique, 22-24 September 2004 (52 participants)

• 1st Nancy-Saarbrücken Workshop on Logic, Proof and Programs, Nancy, 17-18 June 2004 (36 participants)

• 1st Workshop on Coq and rewriting, Ecole Polytechnique, 27 June 2003 (about 30 participants)

Last updated on 9 November 2011. Come back to main page.