Stream: CUDW 2020

Topic: Recorded audio


view this post on Zulip liao zhang (Nov 30 2020 at 16:52):

Hi, where could I find the recorded audio of the talk today by Emilio? I still want to watch it.

view this post on Zulip Théo Zimmermann (Nov 30 2020 at 17:55):

Was it recorded? If yes, then the recording will become available after a processing time that could take up to a day or so.

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 17:57):

It was recorded, but unfortunately the audio was not :/

view this post on Zulip Pierre-Marie Pédrot (Nov 30 2020 at 17:58):

So you can try to salvage some info from the video recording alone.

view this post on Zulip Cody Roux (Nov 30 2020 at 19:24):

that is... not ideal.

view this post on Zulip Paolo Giarrusso (Nov 30 2020 at 20:06):

Emilio wanted to put it up on YouTube, so maybe we'd get a new recording? (OTOH, recording videos is hell IME)

view this post on Zulip Théo Zimmermann (Dec 01 2020 at 08:56):

Ah, so it was recorded but not using BBB feature for this? Not ideal indeed.

view this post on Zulip Pierre-Marie Pédrot (Dec 01 2020 at 08:59):

We didn't find how to activate the BBB recording actually.

view this post on Zulip Théo Zimmermann (Dec 01 2020 at 09:05):

OK, sorry that I was late for Emilio's talk and couldn't help with this!

view this post on Zulip Pierre-Marie Pédrot (Dec 01 2020 at 13:00):

Courtesy of @Yves Bertot we now have the (unfortunately mute) recording of yesterday's plenary session.

view this post on Zulip Pierre-Marie Pédrot (Dec 01 2020 at 13:00):

It is available at http://www-sop.inria.fr/members/Yves.Bertot/videos/Coq-dev-setup-emilio.mp4


Last updated: Oct 16 2021 at 07:02 UTC