Heidelberg, DE

Stream: Geographic locality

[Christian Pehle]

Hi to everyone close to Heidelberg :wave: .

[Jasmin Blanchette]

I often do Munich-Amsterdam by train. Does that count?

[Darij Grinberg]

Karlsruhe reporting in

[Sebastian Ullrich]

Karlsruhe already present :) https://leanprover.zulipchat.com/#narrow/stream/224796-Geographic-locality/topic/Karlsruhe.2C.20DE

[Luigi Massacci]

By any chance is there anyone else at the Laureate Forum in Heidelberg this week?

[Joachim Breitner]

I’m not there, but I was at the very first one. Enjoy, it’s a fine event!

[Luigi Massacci]

Thanks! I'm sure I will

[Junyan Xu]

Arrived in Heidelberg and will be spending my next 2 years here at the University! The FLT project will be my main task (apart from teaching).

[Riccardo Brasca]

Il will give a talk there on November 5th (I don't have a title yet). See you there!

[Joachim Breitner]

Riccardo Brasca said:

Il will give a talk there on November 5th (I don't have a title yet). See you there!

Is there already more information about this? Maybe worth a trip from Freiburg, although I have to be back in the evening.

[Riccardo Brasca]

I don't know if it is in some official website, but I will speak about flt-regular

[María Inés de Frutos Fernández]

https://matematiflo.github.io/FormalMathSeminar/WS2024.html (I just gave a talk at this seminar, I should have advertised it here!)