From 573cd5fe8dd303fe6fed4e15ffd876da76c13290 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Thu, 26 Jan 2017 22:37:16 +0100
Subject: [PATCH] Fix a capitalisation issue.

---
 publications.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/publications.tex b/publications.tex
index d7aa816..dc58c9f 100644
--- a/publications.tex
+++ b/publications.tex
@@ -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