Fix a capitalisation issue.

This commit is contained in:
Sergiu Ivanov 2017-01-26 22:37:16 +01:00
parent a46678089f
commit 573cd5fe8d
1 changed files with 1 additions and 1 deletions

View File

@ -82,7 +82,7 @@ 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
\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