diff --git a/publications.tex b/publications.tex index d05f675..776d671 100644 --- a/publications.tex +++ b/publications.tex @@ -73,6 +73,9 @@ mes publications, par catégorie. \subsection*{Séminaires et exposés} \begin{itemize} +\item Séminaire « Formal Instruments for Adverse Computations » au + Laboratoire lorrain de recherche en informatique et ses applications + (Le Loria) à l'Université de Lorraine (25 mars 2016). \item Séminaire « Complexity of Model Checking for Reaction Systems » au Laboratoire d'Informatique, Signaux et Systèmes de Sophia Antipolis (24 mars 2016).