diff --git a/publications.tex b/publications.tex index 86735bc..d894f13 100644 --- a/publications.tex +++ b/publications.tex @@ -34,4 +34,20 @@ prefixnumbers={i}, check=arXiv ] + +\subsection*{Séminaires et exposés} +\begin{itemize}[leftmargin=6.2ex] +\item Séminaire «~Complexity of Model Checking for Reaction Systems~», + au laboratoire Combio, Åbo Akademi, Turku, Finlande (2 octobre + 2014). +\item Séminaire «~Model Checking of Reaction Systems: Work in + Progress~» au laboratoire Combio, Åbo Akademi, Turku, Finlande (25 + mai 2014). +\item Séminaire «~Bridging Programming, Natural Computing, Formal + Languages, and Petri Nets~» au laboratoire Combio, Åbo Akademi, + Turku, Finlande (14 avril 2014). +\item Séminaire «~Small Universal Petri Nets~» au Laboratoire + d'Algorithmique, Complexité et Logique à l'Université Paris Est + Créteil (27 janvier 2014). +\end{itemize} \end{refsection}