Zulip Chat Archive

Stream: Big Proof 2019

Topic: hello


view this post on Zulip Welcome Bot (May 25 2019 at 16:29):

Welcome to #Big Proof 2019.

view this post on Zulip Neil Strickland (May 25 2019 at 16:51):

I will also be there.

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

view this post on Zulip Reid Barton (May 25 2019 at 17:09):

Is anyone else getting there tomorrow?

view this post on Zulip Kevin Buzzard (May 25 2019 at 17:12):

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

view this post on Zulip Neil Strickland (May 25 2019 at 17:13):

I will also get the train on Monday morning.

view this post on Zulip Edward Ayers (May 25 2019 at 17:18):

Hi I will be there too.

view this post on Zulip Edward Ayers (May 25 2019 at 17:18):

Looking forward to it.

view this post on Zulip Wojciech Nawrocki (May 25 2019 at 17:56):

I will be there as well!

view this post on Zulip Kevin Buzzard (May 25 2019 at 18:28):

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

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

view this post on Zulip Rob Lewis (May 25 2019 at 19:20):

I'll be there, arriving early tomorrow afternoon.

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

view this post on Zulip Kevin Buzzard (May 25 2019 at 21:38):

Scotland does rain pretty well

view this post on Zulip Mario Carneiro (May 26 2019 at 01:50):

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

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

view this post on Zulip Reid Barton (May 26 2019 at 08:54):

Scotland does rain pretty well

Can confirm

view this post on Zulip Scott Morrison (May 26 2019 at 10:01):

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

view this post on Zulip Patrick Massot (May 26 2019 at 11:33):

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

view this post on Zulip Kevin Buzzard (May 26 2019 at 11:42):

Pack an umbrella ;-)

view this post on Zulip Patrick Massot (May 26 2019 at 11:47):

Done

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

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

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

view this post on Zulip Kevin Buzzard (May 27 2019 at 07:51):

I got on in London at 8am

view this post on Zulip Neil Strickland (May 27 2019 at 07:56):

OK, that won't be the same train.

view this post on Zulip Kevin Buzzard (May 27 2019 at 07:56):

I thought 1 hour to York was a bit optimistic.

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

view this post on Zulip Kevin Buzzard (May 27 2019 at 17:57):

We're going to Kismot

view this post on Zulip Kevin Buzzard (May 27 2019 at 17:57):

Bangladeshi restaurant

view this post on Zulip Kevin Buzzard (May 27 2019 at 17:58):

(deleted)

view this post on Zulip Kevin Buzzard (May 27 2019 at 17:58):

(deleted)


Last updated: May 18 2021 at 11:11 UTC