diff --git a/publications.tex b/publications.tex index 49f03e7..f47c0be 100644 --- a/publications.tex +++ b/publications.tex @@ -53,6 +53,17 @@ mes publications, par catégorie. filter=reports ] +\subsection*{Visites scientifiques} +\begin{itemize} +\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku, + Finlande ; invité par Ion \textsc{Petre} (octobre~2014). +\item Visite scientifique au laboratoire Combio, Åbo Akademi, Turku, + Finlande ; collaboration avec Ion \textsc{Petre} (avril--mai 2014). +\item Visite scientifique au Laboratoire d'Algorithmique, Complexité + et Logique, Université Paris Est Créteil ; invité par Serghei + \textsc{Verlan} (août 2011). +\end{itemize} + \subsection*{Séminaires et exposés} \begin{itemize}[leftmargin=6.2ex] \item Séminaire «~Complexity of Model Checking for Reaction Systems~»,