From 8e936c00e392b3c17977d1f959b601dbf17bbf0e Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jean-Fran=C3=A7ois=20Couchot?= Date: Fri, 21 Aug 2015 18:20:12 +0200 Subject: [PATCH 1/1] =?utf8?q?version=20vendredi=20soir=20apr=C3=A8s=20que?= =?utf8?q?lques=20refs?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- demandeInscription/synthese.tex | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/demandeInscription/synthese.tex b/demandeInscription/synthese.tex index 5665e3c..b659584 100755 --- a/demandeInscription/synthese.tex +++ b/demandeInscription/synthese.tex @@ -271,7 +271,8 @@ dynamiques discrets et leurs applications, thématique 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} @@ -1185,10 +1186,13 @@ Jean-Fran\c{c}ois Couchot, Pierre-Cyrille H\'eam, Christophe Guyeux, Qianxue \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 -- 2.39.5