Stream: Coq Workshop 2021

Topic: Videos

Bas Spitters (Jul 03 2021 at 20:36):

Are the recordings available?

Christian Doczkal (Jul 04 2021 at 08:40):

The recordings are being processed by EasyConferences. This will take a few days. Once this is done, we will put the links to the videos in the program on the website.

Théo Zimmermann (Aug 01 2021 at 16:40):

@Christian Doczkal @Jean-Marie Madiot Any news from ITP chairs / EasyCoferences staff about the videos?

Jean-Marie Madiot (Aug 01 2021 at 16:48):

Not yet; I just sent an email to our contact at EasyConferences (they usually reply quickly)

Jean-Marie Madiot (Aug 03 2021 at 08:10):

We have the links to the videos and we're collecting agreements to publish them from the presenters (and collecting the slides at the same time), updating the website as we go. Four of them are on the website for now.

Jean-Marie Madiot (Aug 27 2021 at 10:15):

At last, all slides and videos are publicly available on the website

Last updated: Sep 30 2023 at 06:01 UTC