coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq/SSReflect Winter School for master students (Jan 18-22 2016)

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq/SSReflect Winter School for master students (Jan 18-22 2016)
Date: Fri, 13 Nov 2015 11:01:00 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=enrico.tassi AT inria.fr; spf=None smtp.mailfrom=gares AT fettunta.org; spf=None smtp.helo=postmaster AT fettunta.org
Ironport-phdr: 9a23:w6TtJx+0+84okP9uRHKM819IXTAuvvDOBiVQ1KB90O0cTK2v8tzYMVDF4r011RmSDdidtqsP07GempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lR8iP1o/vjKibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MlZFK7+Yq4QTLpCDT1gPXpmytfssEzuSxGO7XxUbmwNiRsAVwXD9hDxWdHtuzDht8J83jObNIv4V+ZnCnyZ8653RUqw2288PDkj/TSPhw==

On Fri, Nov 13, 2015 at 10:50:44AM +0100, Jean-Bernard Stefani wrote:
> Dear Enrico,
>
> I would have very much liked to attend this winter school, but
> unfortunately I have other obligations.
> Would it be possible to have access to the slides or documents
> presented during the school ?

Sure, we will put all teaching material on the web page.

We are also considering a 1 day thing in summer, but nothing has been
finalized yet.

Best,
--
Enrico Tassi

[Coq-Club] Coq/SSReflect Winter School for master students (Jan 18-22 2016), Enrico Tassi, 11/13/2015
- Re: [Coq-Club] Coq/SSReflect Winter School for master students (Jan 18-22 2016), Jean-Bernard Stefani, 11/13/2015
  - Re: [Coq-Club] Coq/SSReflect Winter School for master students (Jan 18-22 2016), Enrico Tassi, 11/13/2015