Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Sylvie Boldo
[go: Go Back, main page]

How to contact me?



E-mail: Sylvie.Boldo followed by either @lri.fr or @inria.fr.

Address:
        Sylvie Boldo
        PCRI - Bâtiment 650
        Université Paris-Sud
        91405 ORSAY Cedex
        FRANCE

Phone: (+33) 1 69 15 39 59 (NEW)
 

Coquelicot

Coquelicot research project:
a New Coq Library for Reals
Inria

Interstices

Revue web de médiation scientifique
French popularization web journal