Repeat the list of my scientific visits in section Publications.
This commit is contained in:
parent
fd67ba510d
commit
1ff3120172
1 changed files with 11 additions and 0 deletions
|
@ -53,6 +53,17 @@ mes publications, par catégorie.
|
||||||
filter=reports
|
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}
|
\subsection*{Séminaires et exposés}
|
||||||
\begin{itemize}[leftmargin=6.2ex]
|
\begin{itemize}[leftmargin=6.2ex]
|
||||||
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
|
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
|
||||||
|
|
Loading…
Reference in a new issue