Zulip Chat Archive

Stream: general

Topic: postponed conferences


view this post on Zulip 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!)

view this post on Zulip Jason Rute (Mar 09 2020 at 17:57):

Do you when AITP will now be held?

view this post on Zulip Kevin Buzzard (Mar 09 2020 at 18:23):

They're going to try to reschedule to September.

view this post on Zulip 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.

view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip Kevin Buzzard (Mar 16 2020 at 10:51):

:-) Thanks for letting us know!

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Gabriel Ebner (Mar 16 2020 at 11:07):

Is there anything we should try out?

view this post on Zulip 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.

view this post on Zulip Gabriel Ebner (Mar 16 2020 at 11:50):

Ok, please keep us up to date if the online TYPES workshop happens!


Last updated: May 15 2021 at 23:13 UTC