coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017)

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017)
Date: Thu, 26 Oct 2017 10:57:20 +0200
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:5i7kyRz41NkQrnrXCy+O+j09IxM/srCxBDY+r6Qd0u8RIJqq85mqBkHD//Il1AaPBtqLra8cw8Pt8IneGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2NBXupSi56idXERHiPyJ0IP70E8jclZeZzee3rrDVeQRDg3KBaKhpLV3ioAPLt8IRx5drMb0w4hrPuHpBPepMkzA7bWmPlgrxs5/jtKVo9D5d7qos

On Thu, Oct 26, 2017 at 08:22:18AM +0000, Benoît Viguier wrote:
> Hi Enrico,
>
> will this winter school be streamed / placed on Youtube (like DSSS17
> <https://www.youtube.com/channel/UC5yB0ZRgc4A99ttkwer-dDw>) for those who
> are not able to attend it ?

I will look into it, but I can't promise anything.

What will be available online for sure, as for all previous editions,
is the teaching material (slides, jsCoq powered web pages, exercises...).

Best,
--
Enrico Tassi

[Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Enrico Tassi, 10/26/2017
- Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Benoît Viguier, 10/26/2017
  - Re: [Coq-Club] Coq/MathComp Winter School for master students (Dec 4-8 2017), Enrico Tassi, 10/26/2017