--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on September 2014 ---
Bonjour, J'ai le plaisir de vous inviter ? la soutenance de mon habilitation ? diriger des recherches, qui se tiendra le *lundi 6 octobre ? 14h*. Titre : Deductive Formal Verification: How To Make Your Floating-Point Programs Behave Lieu : Universit? Paris-Sud LRI, Amphith??tre du b?timent 660 Rue Noetzlin, 91190 Gif-sur-Yvette Rapporteurs: - Yves Bertot (Inria Sophia-Antipolis M?diterran?e) - Philippe Langlois (Universit? de Perpignan Via Domitia) - John Harrison (Intel, Oregon) Examinateurs: - Marc Baboulin (Universit? Paris-Sud) - Yves Bertot (Inria Sophia-Antipolis) - Eric Goubault (Ecole Polytechnique & CEA) - William Kahan (University of California at Berkeley) - Philippe Langlois (Universit? de Perpignan Via Domitia) - Claude March? (Inria Saclay - ?le-de-France) - Jean-Michel Muller (CNRS, LIP) La soutenance sera suivie du traditionnel pot au b?timent 650, en salle 465. Vous trouverez les d?tails ainsi que le manuscrit sur: http://www.lri.fr/~sboldo/hdr.html Cordialement, Sylvie Boldo -- Sylvie Boldo, projet Toccata, Inria Saclay - ?le-de-France PCRI, B?t. 650 - Universit? Paris-Sud - 91405 ORSAY Cedex