Reykjavik, Iceland

Stream: Geographic locality

[Calvin Lee]

In a few days, I am moving to Reykjavik to start my postgraduate program!
I don't believe many other Lean users will be in the area, but I figured it wouldn't hurt to start a thread.

I have training in programming and differential geometry, and am currently using Lean to prove some theorems in algebraic geometry. I will also be completing a masters/PhD with Tarmo Uustalu in the distributed systems space :)

[Johan Commelin]

cc @Dagur Asgeirsson

[Dagur Asgeirsson]

Welcome to Reykjavik! Let me know when you're here and we'll meet up! I've met your advisor once -- I'm at the other university but it's just a five minute bike ride away.

[Joseph Tooby-Smith]

Hey! I'm going to be in Reykjavik from October as a Postdoc at the University of Reykjavik, also working with Tarmo. Looking forward to meeting everyone there!

[Iván Renison]

Hi, i'm going to Reykjavik for FroCoS/ITP/TABLEAUX '25 from 26 of September to 3 of October
I guess that there are a lot of people from this Zulip that are going
Also, if somebody is interested in sharing accommodation, I'm interested

[Iván Renison]

And also, if somebody has suggestions about accommodations I'm interested

[Iván Renison]

Nobody from this Zulip is going?

[Michael Rothgang]

I know some people are going (e.g., every paper which has been accepted to ITP will have some author go). Probably, they're not reading this thread.

[Mario Carneiro]

Note in particular that there will be a Lean workshop, which is currently accepting submissions: https://leanprover-community.github.io/itp-2025-lean-workshop/

[Iván Renison]

Hi
Does anyone here knows if it is already possible to read the papers that will be presented at ITP? Googling the titles I can find some in arXiv or other websites, but I was wondering if there is an official website with all of them?

[Iván Renison]

Is this a good channel for asking things about ITP, or there is a better channel?

[Michael Rothgang]

I wouldn't expect messages about ITP itself here.

[Michael Rothgang]

A message "I'm based in Rejkjavik, anybody interested in having a coffee on <day ITP ends>" would, in my opinion, be in scope.

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

Iván Renison said:

Does anyone here knows if it is already possible to read the papers that will be presented at ITP?

The ITP 2025 proceedings have been published today.