Zulip Chat Archive
Stream: general
Topic: postponed conferences
Kevin Buzzard (Mar 09 2020 at 17:43):
AITP just got postponed. TYPES-ITRS 2020 was cancelled too -- and it looks like Leo was due to speak there! It's a shame that we missed out on hearing what he had to say about Lean 4 (assuming he was going to talk about Lean 4!)
Jason Rute (Mar 09 2020 at 17:57):
Do you when AITP will now be held?
Kevin Buzzard (Mar 09 2020 at 18:23):
They're going to try to reschedule to September.
Yury G. Kudryashov (Mar 10 2020 at 03:13):
@Johan Commelin Are you going to postpone https://math.commelin.net/2020/lftcm/ ? I'd prefer to know about this before buying tickets and applying for a visa.
Johan Commelin (Mar 10 2020 at 05:42):
@Yury G. Kudryashov Good question! I wish it were still too early to think about this... By when would you like to know this?
Bas Spitters (Mar 16 2020 at 10:51):
@Kevin Buzzard There are preparations for an online only TYPES workshop. Looking forward to Leo's talk there.
Kevin Buzzard (Mar 16 2020 at 10:51):
:-) Thanks for letting us know!
Johan Commelin (Mar 16 2020 at 10:57):
Hmm, I would be interested in participating. Please let us know if the streams will be publicly available.
Bas Spitters (Mar 16 2020 at 11:03):
Experiment here: Feedback welcome to: deligu@di.unito.it
https://crew.i-learn.unito.it/course/view.php?id=45
key: types2020
Gabriel Ebner (Mar 16 2020 at 11:07):
Is there anything we should try out?
Bas Spitters (Mar 16 2020 at 11:48):
@Gabriel Ebner not urgently, I think. Unless you're planning to do another online conference and want inspiration.
Gabriel Ebner (Mar 16 2020 at 11:50):
Ok, please keep us up to date if the online TYPES workshop happens!
Last updated: Dec 20 2023 at 11:08 UTC