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