Zulip Chat Archive
Stream: general
Topic: Discussion: Formalization of Analysis at ICERM
Ching-Tsun Chou (Dec 02 2025 at 21:56):
Will the talks be recorded and appear on YouTube later?
Notification Bot (Dec 03 2025 at 10:29):
A message was moved here from #announce > Techniques and Tools for the Formalization of Analysis by Floris van Doorn.
Yaël Dillies (Dec 03 2025 at 10:50):
Do we need to sign up if we plan to participate online?
Patrick Massot (Dec 03 2025 at 11:32):
Yes, please apply and check the box “I wish to attend this program virtually”.
Patrick Massot (Dec 03 2025 at 11:33):
Ching-Tsun Chou said:
Will the talks be recorded and appear on YouTube later?
Yes, but this is only part of the workshop. There will be three talks per day and everything else will be participants working on projects.
Last updated: Dec 20 2025 at 21:32 UTC