Zulip Chat Archive

Stream: general

Topic: cpp 2020


Johan Commelin (Dec 05 2019 at 09:29):

I'm trying to apply for an ESTA... what should I enter as US contact info?

Johan Commelin (Dec 05 2019 at 09:33):

The form is really stupid. It is complaining that all phone numbers that I enter are wrong.

Kevin Buzzard (Dec 05 2019 at 10:11):

You have accommodation details? You could put that

Johan Commelin (Dec 05 2019 at 10:12):

Yeah I did that in the end

Wojciech Nawrocki (Jan 25 2020 at 13:26):

Two Lean-related talks given at CPP are now available online!

Rob Lewis (Jan 25 2020 at 13:32):

There were technical issues with the recording of @Johan Commelin 's talk on the perfectoid project, but he says something (at least sound + slides) will appear eventually.

Rob Lewis (Jan 29 2020 at 11:17):

Looks like Johan's talk is up: https://www.youtube.com/watch?v=I0v03tRplt0&list=PLyrlk8Xaylp66PQM4k4mGnYzsZ4MbMz5E&index=29

Johan Commelin (Jan 29 2020 at 11:27):

Hooray!

Johan Commelin (Jan 29 2020 at 11:28):

It took me a while to finetune all the transition times. I hope it worked out ok.

Johan Commelin (Jan 29 2020 at 11:28):

(I don't have audio atm.)


Last updated: Dec 20 2023 at 11:08 UTC