pour laquelle j'ai été recruté dans l'équipe AND du département
DISC. Enfin la section~\ref{sub:gen} présente comment je me suis investi dans
le domaine de la bio-informatique à l'aide de compétences connexes.
-Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthéthisées à la figure~\ref{fig:bilan}.
+Ces travaux ont été valorisés par des publications dont les références sont données à la section~\ref{sec:publi} et synthéthisées à la figure~\ref{fig:bilan}
+en fin de document.
\subsection{Vérification de programmes par
preuve automatique}\label{sub:verif}
\begin{center}
\begin{tabular}{|c|c|c|c|c|}
\hline
-& \multicolumn{2}{|c|}{Internationaux} & {Nationaux} & \\
-\hline
+%& \multicolumn{2}{|c|}{Internationaux} & {Nationaux} & \\
+%\hline
& Journaux & Conférences &
-Conférences & \\
+Conférences & Divers\\
+& internationaux & internationales &
+nationales & \\
+
\hline
Pendant le doctorat &
%journaux