\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}
<html lang="fr">
<TABLE CLASS="title" ALIGN="CENTER" WIDTH="100%">
<TR ALIGN="CENTER" VALIGN="MIDDLE">
<TD ALIGN="RIGHT"><a href="introduction.html"><img src="flags/gb_2x3_small.gif" alt="English version"></a></TD>
</TR>
</TABLE>
\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}

