ITP 2023

Stream: general

[Jeremy Avigad]

Who is going to be in Bialystok for ITP next week? I'll be there, as will @Mario Carneiro and @Edward Ayers.

[Riccardo Brasca]

I will arrive in Bialystok on Monday afternoon, and at the conference on Tuesday.

[Kevin Buzzard]

Expect a bunch of people from Imperial!

[Eric Rodriguez]

I will be at the conference the Wednesday till the Friday!

[Jannis Limperg]

I'll be there the whole week (specifically to meet some more Lean people)!

[David Ang]

I’ll be there for the whole week! Giving a talk on Wednesday

[Oliver Nash]

I'll be there but probably only on the Friday!

[Martin Dvořák]

I am going to arrive 2023-07-30 at 12:43 local time.

[Riccardo Brasca]

Does anyone know where the conference is? I mean, in which room. In the website there is the address, ul. Konstantego Ciołkowskiego 1M, 15-245, but I don't see anything more precise.

[Jannis Limperg]

The CS/math building. When you enter, you're immediately at the registration desk. Can't miss it.

[Riccardo Brasca]

Thanks!

[Amelia Livingston]

Does anyone staying in Hotel Pod Herbem have a plug with a USB port or a UK plug adaptor I could borrow? Lost mine on the way here :(

[Jannis Limperg]

I have a plug with a USB port. Room 14, 1st floor (one above the ground floor; I forget which numbering system is used where).

[Amelia Livingston]

Thank you so much! Will be ten minutes

[Edward Ayers]

Does anyone have a USB-C → HDMI adapter I could borrow?

[Edward Ayers]

don't worry they have one at the thingy

[Alain Chavarri Villarello]

It was great meeting you all! Safe travels!

[Kevin Buzzard]

Someone want to write a blog post?