Stream: Coq Workshop 2021

Topic: Recorded talks?

Yannick Zakowski (Jul 01 2021 at 11:05):

Hello,
I will unfortunately be unable to attend Tomorrow. Are the talks planned to be recorded by any chance?

Christian Doczkal (Jul 01 2021 at 11:09):

As stated on the website, the event is being recorded and we plan to make the recordings available.

Yannick Zakowski (Jul 01 2021 at 11:28):

Oh absolutely, my apologies I should have read more carefully -.-

Christian Doczkal (Jul 01 2021 at 11:35):

No problem.

Last updated: Apr 20 2024 at 06:02 UTC