\documentclass[a4paper,french,11pt]{article}
%\usepackage{hyperlatex}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{framed}
\usepackage[amsmath,thmmarks,thref,framed]{ntheorem}
\usepackage[dvips]{graphics}
\usepackage{epsfig}
\usepackage{epsfig,psfrag}
\usepackage{subfigure}
\usepackage{color}
\usepackage{calc}
\usepackage{url}
\usepackage{longtable}
\usepackage{tabls}
\usepackage{textcomp}
%\usepackage{slashbox}
\usepackage{gastex}
\usepackage{pst-all}
%\input{format.sty}
\usepackage[frenchb]{babel}
\usepackage[a4paper]{geometry}
\input{symboles.sty}


\geometry{hmargin=1cm, vmargin=1.5cm }


\newcommand{\JFC}[1]{\begin{color}{green}\textit{#1}\end{color}}

%
%\lstset{% general command to set parameter(s)
%basicstyle=\small,          % print whole listing small
%keywordstyle=\color{black}\bfseries\underbar,
                                % underlined bold black keywords
%identifierstyle=,           % nothing happens
%commentstyle=\color{white}, % white comments
%stringstyle=\ttfamily,      % typewriter type for strings
%extendedchars = true,
%showstringspaces=false}     % no special string spaces



\usepackage{hyperref}
\pdfcompresslevel=9
\hypersetup{
     %backref=true,    %permet d'ajouter des liens dans...
     %pagebackref=true,%...les bibliographies
     %hyperindex=true, %ajoute des liens dans les index.
     colorlinks=true, %colorise les liens
     breaklinks=true, %permet le retour Ã  la ligne dans les liens trop longs
     urlcolor= blue, %couleur des hyperliens
     linkcolor= blue, %couleur des liens internes
     %bookmarks=true, %créé des signets pour Acrobat
     bookmarksopen=true,            %si les signets Acrobat sont créés,
                                    %les afficher complÃštement.
     pdftitle={Cours d'algèbre et de géométrie}, %informations apparaissant dans
     pdfauthor={Jean-Fran\c{c}ois Couchot, Christophe Guyeux},     %dans les informations du document
     pdfsubject={Algèbre et géométrie}          %sous Acrobat.
}




\makeindex

\newcommand{\inputladot}[2]{
\input{#1.dot.tex}
\includegraphics[width=#2]{#1.dot.ps}
}

\setcounter{secnumdepth}{4}

\renewcommand{\thesection}{\Roman{section}}
%\renewcommand{\thesubsection}{~~~~\arabic{subsection}}
%\renewcommand{\theparagraph}{~~~~~~~~\arabic{paragraph}}

\begin{document}


\title{Mémoire de synthèse des activités de recherche et d'encadrement.}
\author{Jean-Fran\c{c}ois {\sc Couchot}}


%\lstset{language=C}
\maketitle

\section{Curriculum vit{\ae} (1 page).}


\subsection{Contacts}
\begin{itemize}
\item \textbf{web~:} \url{http://members.femto-st.fr/jf-couchot/}
\item \textbf{courrier~:} 
\begin{minipage}[t]{10cm} FEMTO-ST, dpt DISC, IUT BM, 19 rue du maréchal Juin,  90000 Belfort
\end{minipage}
\item \textbf{mail~:} \url{couchot@femto-st.fr}
\item\textbf {tel~:}       (+33) (0)3 84 58 77 38
\item\textbf {gsm~:} (+33) (0)6 76 06 68 94 
\end{itemize}

\subsection{Diplômes universitaires}
\begin{itemize}
\item{\bf{91~:}} Baccalauréat série C mention AB, Besançon.
\item{\bf{95~:}} Maîtrise de mathématiques pures, Université de
  Franche-Comté (UFC).
\item{\bf{96~:}} 
CAPES de mathématiques, IUFM d'Auvergne.
\item{\bf{02~:}} 
Maîtrise d'informatique, mention B (UFC). 
\item{\bf{02~:}}
 DEA Informatique, option {\em Génie Logiciel} (UFC). Stage intitulé {\em Atteignabilité d'états et spécifications
logico-ensemblistes}. Major de Promotion, mention TB. 
\item{\bf{avril 06~:}}
 Doctorat en  informatique au Laboratoire d'Informatique 
de l'Université de Franche Comté (LIFC EA 4269), 
sur la {\em vérification d'invariants par superposition}, 
mention très honorable.
\end{itemize}


\subsection{Fonctions et expériences professionnelles}
\begin{itemize}
\item{\bf{95-00~:}} Enseignant en mathématiques dans le secondaire,
  successivement à Aurillac(15), Beaune(21), Belfort(90) et 
  Montbéliard(25).  
\item{\bf{sept. 00-06~:}} PrCe $71^{eme}$ section, Unité de Formation
  et de Recherche (UFR) Sciences du 
  Langage de l'Homme et de la Société (SLHS) à l'UFC. 
\item{\bf{sept. 06-07~:}} Post-doctorant INRIA (projet ProVal) sur le
  thème de l'intégration de preuves interactives dans des preuves
  automatiques (et vice-versa). %pour la vérification de programmes C embarqués.
\item{\bf{sept. 07-08~:}} PrCe $71^{eme}$ section, UFR SLHS à l'UFC. 
\item{\bf{sept. 08-\ldots~:}} Maître de Conférences $27^{eme}$ section, IUT de Belfort-Montbéliard, dpt. informatique (UFC). 
\item{\bf{sept. 10-14\ldots~:}} \'Elu au Conseil d'Institut de l'IUT de Belfort-Montbéliard. 
 \end{itemize}


\section{Nom et type de l'équipe de recherche (1 page).}

Je suis membre de l'équipe Algorithmique Numérique Distribuée (AND) du 
Département d'Informatique des Systèmes Complexes (DISC)
du laboratoire FEMTO-ST. 
Je relève de l'école doctorale 37 Sciences Pour l'Ingénieur et Microtechniques (SPIM) de l'UFC.

L'avis du directeur de l'équipe et du directeur de l'école doctorale sont 
annexés à cette synthèse.
\JFC{joindre l'avis de Raphale, d'Olga de Nicolas et de PH. Lutz} 


\newpage
\section{Résumé (1 page)} de la thématique de la thèse d'université (ou d'Etat le cas échéant)
et liste des publications auxquelles elle a donné lieu ;

\newpage
\section{Exposé des recherches réalisées au cours de la période postdoctorale (5 pages maximum)}

(ou post-DEA pour les candidats autorisés à présenter leur demande sans
thèse), en identifiant les grandes thématiques de recherche, la démarche suivie et les
retombées en terme de publications et/ou de brevets ;

\newpage
\section{Perspectives de recherche (1 à 2 pages maximum)}

\newpage
\section{Insertion dans l'équipe de recherche (3 pages maximum).} 
Rôle personnel joué dans l'animation de la recherche au
sein de cette (ces) équipe(s), sa gestion administrative et financière. Obtention et
gestion de contrats de recherche. Collaborations internationales et insertion dans un
réseau international. Organisation de manifestations scientifiques (colloques,
congrès, diffusion des résultats de la recherche en direction du public…) ;

\newpage
\section{Encadrement et co-encadrement d'étudiants (1 page)} (maîtrise, DEA, thèses d'Université,
stages d'ingénieurs…) pour des activités de recherche en indiquant de manière
explicite la part d’encadrement assurée par le candidat à l’HDR  ;

\newpage
\section{Participation éventuelle à des tâches administratives d'intérêt collectif (1 à 2 pages)},
à l'activité d'enseignement, ou expérience en entreprise ;


\newpage
\section{Liste des publications}
selon le plan suivant : Internationales avec comité de
lecture ; Nationales avec comité de lecture ; Didactiques et non référencées ;
Chapitres de livres et documents multi-médias ; Compte-rendu de colloques (avec
sélection sur résumés puis sans sélection sur résumés) ;
\newpage
\section{Liste des communications}
 selon le plan suivant : Conférences sur invitation
personnelle ; Communication à des colloques, avec sélection sur résumés ;
Internationaux ; Nationaux ; Communications diverses.
\bibliographystyle{alpha}
\bibliography{biblio}
\include{Bibliographie}


\end{document}
