Social Events
32nd International Conference on Types for Proofs and Programs
4–8 May 2026, Gothenburg, Sweden, https://types2026.cse.chalmers.se/
Excursion
On Tuesday 5th of May, after a coffee break
together, we will have a 2 hours guided tour in the
beautiful archipelago of Gothenburg on board the classic
archipelago boat M/S S:t Erik.
We will leave Lindholmenspiren at 16:00 (sharp, so make sure to be
at Lindholmenspiren at 15:50) and return to
Lindholmenspiren at 18:20 or to Lilla Bommen
harbor
at 18:40.
There is a café and bar on the boat where you can buy drinks or
something to eat.
Conference dinner
The conferene dinner will take place at
Wijkanders located on Vera Sandersbergs
allé
5B
on Thursday 7th of May at 18:30.
To get to Wijkanders get bus 16 from Lindholmen to Kapellplatsen (ca
20 min bus ride), from Kapellplatsen it is just 3 min walk.
Social Events
32nd International Conference on Types for Proofs and Programs
4–8 May 2026, Gothenburg, Sweden, https://types2026.cse.chalmers.se/
Excursion
On Tuesday 5th of May, after a coffee break together, we will have a 2 hours guided tour in the beautiful archipelago of Gothenburg on board the classic archipelago boat M/S S:t Erik.We will leave Lindholmenspiren at 16:00 (sharp, so make sure to be at Lindholmenspiren at 15:50) and return to Lindholmenspiren at 18:20 or to Lilla Bommen harbor at 18:40.
There is a café and bar on the boat where you can buy drinks or something to eat.
Conference dinner
The conferene dinner will take place at Wijkanders located on Vera Sandersbergs allé 5B on Thursday 7th of May at 18:30.
To get to Wijkanders get bus 16 from Lindholmen to Kapellplatsen (ca 20 min bus ride), from Kapellplatsen it is just 3 min walk.