Prague, CZ

Stream: Geographic locality

[Tomas Skrivan]

I just moved back home to Prague. If anyone passes by I'm happy to meet!

[Shreyas Srinivas]

A heads up : STOC is happening in Prague this year. Quite a lot of people will be visiting from the algorithms and complexity community. If I am not wrong, this includes a few lean users who have recently joined this community

[Shreyas Srinivas]

It’s end of June

[Paul Lezeau]

Tomas Skrivan said:

I just moved back home to Prague. If anyone passes by I'm happy to meet!

I'll be in Prague from the 18th to the 20th - I'd love to meet up!

[Tomas Skrivan]

Great! Let me know which day and when do you have time

[Igor Khavkine]

:wave: I'm at the Mathematics Institute of the Czech Academy of Sciences. Slowly working with a couple of MSc students to formalize some differential geometry in Lean. I'm a little indisposed this month, but would be happy to meet and chat about Lean. :slight_smile:

[Tomas Skrivan]

Nice! Let's meet once you have time then, I'm happy to chat about differential geometry and Lean.

[Mirek Olšák]

The Lean lecture at Matfyz will take place on Tuesday mornings (9:00) at Malá Strana, and (in parallel) on Wednesday late afternoons (17:20) at Karlín. We start in the upcoming week (February 17 & 18).

[Martin Dvořák]

[sorry, wrong chat]