scolobb/dossier-complet
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add the seminar in Nancy.

Browse source
This commit is contained in:
Sergiu Ivanov 2016-03-19 00:57:43 +01:00
parent 8f16309e58
commit a4de68e5c6
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
publications.tex
View file

@ -73,6 +73,9 @@ mes publications, par catégorie.
\subsection*{Séminaires et exposés} \subsection*{Séminaires et exposés}
\begin{itemize} \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 » \item Séminaire « Complexity of Model Checking for Reaction Systems »
au Laboratoire d'Informatique, Signaux et Systèmes de Sophia au Laboratoire d'Informatique, Signaux et Systèmes de Sophia
Antipolis (24 mars 2016). Antipolis (24 mars 2016).