X-Git-Url: https://bilbo.iut-bm.univ-fcomte.fr/and/gitweb/hdrcouchot.git/blobdiff_plain/6805214bbb0a65ad2b0c90972dc14c541e6b851d..8e936c00e392b3c17977d1f959b601dbf17bbf0e:/demandeInscription/synthese.tex?ds=inline 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