--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on September 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Soutenance d'HDR de S. Boldo, 6 octobre, Orsay



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