Zulip Chat Archive

Stream: Geographic locality

Topic: Utrecht (NL)

Giacomo Maletto (Feb 04 2023 at 13:25):

Hi! I'm staying in Utrecht for 4 months, anybody here?

Johan Commelin (Feb 04 2023 at 13:26):

I'll be arriving in Utrecht in 6 months...

Johan Commelin (Feb 04 2023 at 13:27):

There's a Lean crowd in Amsterdam and in Leiden. But I'm not aware of much activity in Utrecht (yet).

Anne Baanen (Feb 07 2023 at 10:42):

I'm currently at the VU Amsterdam but I studied in Utrecht and still live close by. It might be nice to meet up sometime soon! The CS department has some people interested in formal verification, for example Wouter Swierstra was a supervisor for my Master's thesis.

Johan Commelin (Aug 14 2023 at 12:01):

I've touched down in NL. I'll be starting at the UU math dept in September.

Last updated: Dec 20 2023 at 11:08 UTC