Stream: General

Topic: ITP 2025 plans


view this post on Zulip Manuel Eberl (Aug 21 2025 at 13:52):

Hello everyone, I'll be in Reykjavík for ITP from 25/09 to 05/10, i.e. I have some free days before and after. No concrete plans yet, but I'm always up for hiking and climbing. If anyone else wants to do something together there, I suggest we use this thread to make plans.

view this post on Zulip Mathias Fleury (Sep 07 2025 at 16:14):

I know it's probably too late, but I will be there too. Did you find anyone that is going to?

My loose plan was to go to https://thecave.is/ and the stuff around it on Thursday if the weather allows it.

view this post on Zulip Manuel Eberl (Sep 07 2025 at 16:21):

I'm staying at the cityhub; don't know about Peter. We don't have any concrete plans yet. Probably some hiking. Maybe climbing, but probably not since it's hard to bring gear on a flight.

view this post on Zulip Jan van Brügge (Sep 08 2025 at 09:19):

I will be there from 27/09 to 06/10, and I would be interested in the cave as well

view this post on Zulip Mathias Fleury (Sep 08 2025 at 13:07):

Ah, sorry I should have specified: I am there the week before ITP, not the week after.


Last updated: Sep 13 2025 at 12:36 UTC