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
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: Aug 03 2023 at 10:10 UTC