The ProVal team was stopped at the end of August 2012, and reborn into a new team
Toccata
These pages do not evolve anymore, please follow the link above for up-to-date informations about our team.
Internship
Interns at level License 3rd year, Master 1st year, Master 2nd professional or engineer
-
Formal proof on floating-point arithmetic with double rounding
-
Preuve formelle d'un algorithme de calcul de point fixe
- Itérateurs pour documents XML formalisés en Coq
Interns at level Master 2nd year research
-
Proof of programs with binders
-
Interactive completion of proofs of avionics programs
-
Formal verification of a multiprecision π computation
-
XML updates : type sytems and languages
- Types, solvers and Mu-calculus
PhD thesis
- No ongoing offer
Post-doctoral positions
- No ongoing offer