\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*{~} Charg\'ee de recherche au \ahref{http://www.cnrs.fr}{CNRS}. \\ Membre du projet \ahref{http://proval.lri.fr/}{Proval} du \ahref{http://www.pcri.info}{PCRI}, commun au \ahref{http://www.lri.fr}{LRI}/\ahref{http://www.u-psud.fr}{Universit\'e Paris-Sud}-\ahref{http://www.cnrs.fr}{CNRS} et \`a l'\ahref{http://www.inria.fr/saclay/}{INRIA Saclay \^Ile-de-France}.\\ ~\\ \begin{tabular}{lcl} T\'el\'ephone & : & 01 72 92 59 96 \\ Fax & ~:~ & 01 74 85 42 29 \\ Bureau/ Room & : & 64, 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.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 2011/20012 : D\'emonstration automatique au \ahref{\url{http://mpri.master.univ-paris7.fr/C-2-5.html}}{MPRI}. \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). %\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}