coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: nicolas tabareau <nicolas.tabareau AT inria.fr>
To: coq-club AT inria.fr, gdr-im AT gdr-im.fr, gallinette <gallinette AT inria.fr>
Subject: [Coq-Club] [14-12-2022] Workshop on Dependent Type Theory in Nantes
Date: Fri, 25 Nov 2022 15:10:54 +0100
Authentication-results: mail2-relais-roc.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,

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

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