\documentclass{article} \usepackage[T1]{fontenc} \usepackage[latin1]{inputenc} \usepackage{mathpartir} \usepackage{url} \pagestyle{plain} \usepackage{hevea} %\loadcssfile{http://www.w3.org/Style/threepart.css} \loadcssfile{styles/style.css} \title{\'Evelyne Contejean} \begin{document} \begin{rawhtml}
English version
\end{rawhtml} \maketitle \section*{~} Directrice de recherche au \ahref{http://www.cnrs.fr}{CNRS}. \\ ~\\ \begin{tabular}{lcl} T\'el\'ephone & : & 01 69 15 66 07 \\ Fax & ~:~ & 01 74 85 42 29 \\ Bureau/ Room & : & 66, PCRI \\ Adresse (postale) & : & LRI, b\^atiment 650 \\ && Universit\'e Paris-Sud \\ && F-91405 Orsay cedex \\ M\'el & : & Evelyne.Contejean[at]lri[dot]fr \\ Web & : & \ahref{\url{http://www.lri.fr/~contejea}}{www.lri.fr/$\sim$contejea} \end{tabular} \ahref{cv.pdf}{CV (en fran\c{c}ais)} \section*{Recherche} \ahref{\url{http://www.lri.fr/~contejea/publis/biblio_fr.html}}{Publications} \ahref{\url{http://a3pat.ensiie.fr/a3pat_intro.fr.html}}{Projet A3PAT} \ahref{\url{http://www.cade-24.info/}}{CADE 2013} \ahref{\url{http://rta2012.trs.cm.is.nagoya-u.ac.jp/}}{RTA 2012} \ahref{\url{http://www.lix.polytechnique.fr/~lengrand/Events/PSATTT11/}}{PSATTT 2011} \ahref{\url{http://www.program-transformation.org/PEPM11}}{PEPM 2011} \ahref{\url{http://hal.inria.fr/UNIF07}}{UNIF07}, un atelier satellite de RTA07 et TLCA07 (RDP07). \section*{Logiciels} \ahref{http://cime.lri.fr}{CiME} : une bo\^{\i}te \`a outils pour la d\'emonstration automatique. \ahref{\url{http://www.lri.fr/~contejea/Coccinelle/coccinelle_fr.html}}{Coccinelle}~: une libraire Coq pour mod\'eliser la r\'e\'ecriture. \ahref{http://alt-ergo.lri.fr/}{Alt-Ergo}~: un petit d\'emonstrateur automatique dedi\'e \`a la preuve de programme. \section*{Enseignement} Ann\'ee 2012/20013 : D\'emonstration automatique au \ahref{\url{http://mpri.master.univ-paris7.fr/C-2-5.html}}{MPRI} (la \ahref{\url{https://wikimpri.dptinfo.ens-cachan.fr/doku.php?id=cours:c-2-5}}{page du cours} a \'et\'e mise \`a jour). \ahref{\url{http://www.lri.fr/~contejea/cours/demonstration_automatique.pdf}}{Ici}, une version provisoire du polycopi\'e du cours. \ahref{\url{http://www.lri.fr/~contejea/cours/poly-combination.ps}}{Un chapitre sur la combination de proc\'edures de decision} (emprunt\'e \`a Claude March\'e). \ahref{\url{http://www.lri.fr/~contejea/cours/cours1_ec.pdf}}{Les transparents du premier cours.} \ahref{\url{http://www.lri.fr/~contejea/cours/cours2_ec.pdf}}{Les transparents du deuxi\`eme cours.} \ahref{\url{http://www.lri.fr/~contejea/cours/cours3_ec.pdf}}{Les transparents du troisi\`eme cours.} %\subsection*{\ahref{\url{http://www.lri.fr/~contejea/gpg.txt}}{Public GPG key}} \subsection*{~} Clef gpg~: 4006 7081 DFA4 161A 30AB 7F47 74A9 16A6 4221 A547 \end{document}