From a4de68e5c6a049e7b95ec1c61553f78b4fb89b3c Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 19 Mar 2016 00:57:43 +0100
Subject: [PATCH] Add the seminar in Nancy.

---
 publications.tex | 3 +++
 1 file changed, 3 insertions(+)

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).