From 1ff31201724a3bf95c85b33df8a739c5bb430a91 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sat, 30 May 2015 21:20:30 +0200 Subject: [PATCH] Repeat the list of my scientific visits in section Publications. --- publications.tex | 11 +++++++++++ 1 file changed, 11 insertions(+) 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~»,