coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes

From: nicolas tabareau <nicolas.tabareau AT inria.fr>
To: coq-club AT inria.fr, gdr-im AT gdr-im.fr
Cc: gallinette <gallinette AT inria.fr>
Subject: Re: [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes
Date: Wed, 30 Nov 2022 15:10:15 +0100
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=nicolas.tabareau AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr

Dear All,

As you have been several to ask, I mention here that the workshop will also

be available online via Zoom.

More details about the connection can be found on the workshop webpage :

https://gallinette.gitlabpages.inria.fr/website/blog/article/workshop_14_12_22/

Best,

— The Gallinette team

On 25 Nov 2022, at 15:10, nicolas tabareau <nicolas.tabareau AT inria.fr> wrote:

Dear All,

The Gallinette team is organizing a workshop on Dependent Type Theory
on Wednesday, December 14th, 2022.

This workshop will take place the day after Loïc Pujet’s PhD defense.

Registration is free but mandatory

https://forms.gle/ydaqUG4jZfZZTTDo8

The program of the day can be found here

https://gallinette.gitlabpages.inria.fr/website/blog/article/workshop_14_12_22/

Best,

— The Gallinette team

[Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes, nicolas tabareau, 11/25/2022
- Re: [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes, nicolas tabareau, 11/30/2022