Stream: Coq Workshop 2021

Topic: Videos


view this post on Zulip Bas Spitters (Jul 03 2021 at 20:36):

Are the recordings available?

view this post on Zulip 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.

view this post on Zulip Théo Zimmermann (Aug 01 2021 at 16:40):

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

view this post on Zulip 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)

view this post on Zulip 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.

view this post on Zulip Jean-Marie Madiot (Aug 27 2021 at 10:15):

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


Last updated: Aug 11 2022 at 02:03 UTC