From 5edd1f49868686ec2426c3a5111ae032c12cbbef Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Sun, 13 Mar 2016 15:36:50 +0100 Subject: [PATCH] Add three new seminars. --- publications.tex | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/publications.tex b/publications.tex index ac63698..d05f675 100644 --- a/publications.tex +++ b/publications.tex @@ -73,6 +73,16 @@ mes publications, par catégorie. \subsection*{Séminaires et exposés} \begin{itemize} +\item Séminaire « Complexity of Model Checking for Reaction Systems » + au Laboratoire d'Informatique, Signaux et Systèmes de Sophia + Antipolis (24 mars 2016). +\item Séminaire « On the Power and Universality of + Biologically-inspired Models of Computation » au Laboratoire + d'Informatique Fondamentale à l'Aix-Marseille Université (7 mars + 2016). +\item Séminaire « Small Universal Petri Nets : Biochemical + Universality » au Laboratoire d'Informatique Fondamentale d'Orléans + à l'Université d'Orléans (22 février 2016). \item Séminaire « Some Results on Leftist Insertion-deletion Systems » au Laboratoire Spécification et Vérification à l'ENS de Cachan (25 novembre 2015). Sujet présenté aussi en téléconférence au