Add three new seminars.

This commit is contained in:
Sergiu Ivanov 2016-03-13 15:36:50 +01:00
parent ea67dce830
commit 5edd1f4986
1 changed files with 10 additions and 0 deletions

View File

@ -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