Zulip Chat Archive

Stream: Big Proof 2019

Topic: hello

Welcome Bot (May 25 2019 at 16:29):

Welcome to #Big Proof 2019.

Neil Strickland (May 25 2019 at 16:51):

I will also be there.

Kevin Buzzard (May 25 2019 at 17:06):

I'll be there! I am speaking on Wed morning :D (and leaving on Wed evening :-( because I have a talk in London on Thursday)

Reid Barton (May 25 2019 at 17:09):

Is anyone else getting there tomorrow?

Kevin Buzzard (May 25 2019 at 17:12):

I'm coming up from London first thing Monday morning.

Neil Strickland (May 25 2019 at 17:13):

I will also get the train on Monday morning.

Edward Ayers (May 25 2019 at 17:18):

Hi I will be there too.

Edward Ayers (May 25 2019 at 17:18):

Looking forward to it.

Wojciech Nawrocki (May 25 2019 at 17:56):

I will be there as well!

Kevin Buzzard (May 25 2019 at 18:28):

What is your background Wojciech? I'm trying to figure out where to pitch my talk!

Wojciech Nawrocki (May 25 2019 at 18:53):

For me personally it's undergraduate-level computer science (just finished my BSc) and the kinds of maths used in physics (e.g. complex analysis), but I'm not sure how representative I am of the Big Proof audience :) I've been Leaning on-and-off for about 10 months.

Rob Lewis (May 25 2019 at 19:20):

I'll be there, arriving early tomorrow afternoon.

Reid Barton (May 25 2019 at 21:35):

Does anyone know whether the forecasted rain is likely to be like the rain was in Amsterdam, or for real?

Kevin Buzzard (May 25 2019 at 21:38):

Scotland does rain pretty well

Mario Carneiro (May 26 2019 at 01:50):

Are the talks recorded? I'm not going to be there :(

Kevin Buzzard (May 26 2019 at 08:08):

I have asked on Twitter. Goodness knows if this is an effective way to actually get an answer

Reid Barton (May 26 2019 at 08:54):

Scotland does rain pretty well

Can confirm

Scott Morrison (May 26 2019 at 10:01):

Hi all. I'll be there starting Tuesday morning.

Patrick Massot (May 26 2019 at 11:33):

I'll be there. I'll arrive around 9pm today and stay until Friday afternoon

Kevin Buzzard (May 26 2019 at 11:42):

Pack an umbrella ;-)

Patrick Massot (May 26 2019 at 11:47):

Done

Rob Lewis (May 26 2019 at 17:10):

If anyone's interested in dinner tonight, let me know! I had a very late lunch so I'm in no hurry.

Kevin Buzzard (May 27 2019 at 07:30):

I'm on the train from London :D Should be preparing my talk but am instead trying to debug Kenny's type class inference issues

Neil Strickland (May 27 2019 at 07:48):

Which train are you on? I'm getting on the Edinburgh train in York at 8:55.

Kevin Buzzard (May 27 2019 at 07:51):

I got on in London at 8am

Neil Strickland (May 27 2019 at 07:56):

OK, that won't be the same train.

Kevin Buzzard (May 27 2019 at 07:56):

I thought 1 hour to York was a bit optimistic.

Jeremy Avigad (May 27 2019 at 10:15):

Kevin just pointed me to this stream. I am staying in the Salisbury Green hotel. I just had a big breakfast, so I'll skip lunch and head over to the ICMS around 1. I am looking forward to seeing you all.

Kevin Buzzard (May 27 2019 at 17:57):

We're going to Kismot

Kevin Buzzard (May 27 2019 at 17:57):

Bangladeshi restaurant

Kevin Buzzard (May 27 2019 at 17:58):

(deleted)

Kevin Buzzard (May 27 2019 at 17:58):

(deleted)

Last updated: Dec 20 2023 at 11:08 UTC