Add my two most recent seminars.

This commit is contained in:
Sergiu Ivanov 2015-12-10 20:49:14 +01:00
parent 7798db2230
commit 77362bf892

View file

@ -73,6 +73,13 @@ mes publications, par catégorie.
\subsection*{Séminaires et exposés}
\begin{itemize}
\item Séminaire « Some Results on Leftist Insertion-deletion Systems »
au laboratoire Laboratoire Spécification et Vérification à l'ENS de
Cachan (25 novembre 2015). Sujet présenté aussi en téléconférence au
séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut de
Mathématiques et d'Informatique de Moldavie (13 novembre 2015).
\item Séminaire « Variants of P systems with Toxic Objects » à
l'Université technique de Vienne (23 novembre 2015).
\item Séminaire «~Complexity of Model Checking for Reaction Systems~»,
au laboratoire Combio, Åbo Akademi, Turku, Finlande (2 octobre
2014).