Zulip Chat Archive
Stream: Geographic locality
Topic: The Netherlands
Marco Vasquez Beltran (Oct 12 2023 at 09:27):
Hello everybody
Kevin Buzzard (Oct 12 2023 at 09:31):
You might want to post that comment in the relevant thread rather than the San Francisco one...
Marco Vasquez Beltran (Oct 12 2023 at 09:34):
Kevin Buzzard said:
You might want to post that comment in the relevant thread rather than the San Francisco one...
Thanks for the clarification, just noticed :+1:
Anne Baanen (Oct 12 2023 at 09:34):
Hello! I'm also in the Netherlands :D
Anne Baanen (Oct 12 2023 at 09:35):
Can I ask where you are located? I'm in the finishing stage of my PhD at the VU in Amsterdam.
Marco Vasquez Beltran (Oct 12 2023 at 09:48):
Oh, nice to meet you. I am post-doc in Eindhoven
Johan Commelin (Oct 12 2023 at 09:49):
Cool, whose group are you in? (I'm in Utrecht.)
Marco Vasquez Beltran (Oct 12 2023 at 09:50):
DSC
Johan Commelin (Oct 12 2023 at 09:51):
Sorry, I don't recognise that acronym
Marco Vasquez Beltran (Oct 12 2023 at 09:51):
Dynamical Systems and Control
Johan Commelin (Oct 12 2023 at 10:04):
@Marco Vasquez Beltran Are you planning to formalize some stuff about dynamical systems in Lean?
Johan Commelin (Oct 12 2023 at 10:04):
Btw, Jim Portegies and Jelle Wemmenhove are also using proof assistants in Eindhoven.
Andrés Goens (Oct 12 2023 at 15:01):
I'm also in Amsterdam (well, at least I will be from Monday on), at UvA!
Shreyas Srinivas (Oct 12 2023 at 15:11):
Does this include formalization of discrete linear recurrences? I am guessing not, but it would be nice to try. There are a bunch of recent results about decidability of the zero and orbit problems
Marco Vasquez Beltran (Oct 12 2023 at 16:09):
@Johan Commelin I am not sure, I am just starting to learn it. In which group are you?
Johan Commelin (Oct 12 2023 at 17:04):
I'm in the logic group in Utrecht, but I also hang out with the number theorists, algebraic geometers, and the PL group in computer science.
Last updated: Dec 20 2023 at 11:08 UTC