Add a list of seminars I held.

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}