From 81c34c82d6554760b0c553614ddc4719bdfc9c13 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Fri, 29 May 2015 15:52:37 +0200
Subject: [PATCH] Add a list of seminars I held.

---
 publications.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

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}