coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Thierry Coquand's inaugural lecture

From: Laurent Thery <Laurent.Thery AT inria.fr>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Thierry Coquand's inaugural lecture
Date: Thu, 13 Mar 2025 10:39:29 +0100
Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=None smtp.mailfrom=thery AT sophia.inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

Hi,

this may interest people on this list.
Today at 18 (Paris Time) Thierry Coquand will give its inaugural lecture at Collège de France.

You can see this here :

https://www.youtube.com/watch?v=78CQ2A5_EvI

It will be in french but maybe thanks to modern technology some automatic subtitles will be provided.

========================

Bonjour,

Aujourd'hui à 18 heures, Thierry Coquand donnera sa leçon inaugurale au collège de France.

Voici le lien:

https://www.youtube.com/watch?v=78CQ2A5_EvI

À ne pas manquer!

--
Laurent

[Coq-Club] Thierry Coquand's inaugural lecture, Laurent Thery, 03/13/2025