Enschede, NL

Stream: Geographic locality

[Rick de Wolf]

Hi folks! I'm a robotics MSc student looking for a PhD next year. I'm learning Lean to develop tools for engineering students. Hit me up if you're nearby, I'd love to chat :grinning_face_with_smiling_eyes:

[Bob Rubbens]

Hey, I'm from the FMT group in the zilverling building. I have a colleague in my team and we regularly discuss Lean, if you're still around we should hang out!

[Bob Rubbens]

Anyone else who's here of course feel free to reach out to us as well :) We're in room Zi 3082. We also have some group members working with Isabelle.

[Yagub Aliyev]

Bob Rubbens said:

Anyone else who's here of course feel free to reach out to us as well :) We're in room Zi 3082. We also have some group members working with Isabelle.

Hi Bob and Rick
I will attend IWOTA2025 which will be held at the Twente University between 14-18 July 2025. I will be happy to learn more about the group and your Lean activities if anyone will be there at that time)
Best

[Bob Rubbens]

Hi @Yagub Aliyev , cool!

Unfortunately around that time probably it'll be a bit quiet around the group, though not so much as in august, since probably some group members might still be wrapping up teaching activities. So it'll be hard to organize something truly spontaneous and informal . Also, again unfortunately, we won't have a colloquium, our weekly group presentation, in that period because of the summer break. If you happen to have something you think is fun/interesting for the group that you'd like to present, I'd be happy to see if I can organize an informal one. This is of course also possible if you'd like to visit sometime outside the summer break ;)

In addition, if you have downtime around Enschede and want to have lunch/dinner or just want to meet up/join our group lunch, that's definitely possible. I'll DM you my details so you can contact me when you are in Enschede. @Rick de Wolf Same for you!

Lately there has not been much talk about Lean in my office (sadly!), but plenty of group members published papers. You can view the papers published in our group in general here, to get an idea of what we're working on: https://www.utwente.nl/en/eemcs/fmt/news-and-vacancies/news/ Names you can look for who work on ITP stuff, mostly Isabelle, are Peter Lammich, Bram Kohlen and Edoardo Putti. I'm happy to tell you more if there's anything in particular you're interested in. In my subteam we work on vercors (https://utwente.nl/vercors), which is an auto-active verifier for C, Java, GPGPU programs, LLVM, System-C and choreographies, so I can also tell you more about that if you want :)