diff --git a/publications.tex b/publications.tex index 0aacd3b..fbaddd4 100644 --- a/publications.tex +++ b/publications.tex @@ -82,6 +82,9 @@ mes publications, par catégorie. 2017). Sujet présenté également en téléconférence au séminaire en hommage à Yurii \textsc{Rogozhin} à l'Institut des Mathématiques et d'Informatique de Moldavie (11 novembre 2016). +\item Séminaire « Theory of Computer Science: Why all That Formal + Stuff? » pour le Centre d'excellence en informatique « Tekwill » à + Chișinău, Moldavie (15 décembre 2016). \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).