Zulip Chat Archive
Stream: Geographic locality
Topic: Nantes, France
Yaël Dillies (May 21 2021 at 13:27):
When I'm not in Cambridge, you can find me in Nantes.
Chris Hughes (Oct 02 2021 at 18:07):
I arrived in Nantes on Thursday to start my PhD at INRIA in the Gallinette team
Yaël Dillies (Oct 02 2021 at 18:08):
No waaay! Any way we can meet before I leave for Cambridge on Tuesday?
Kevin Buzzard (Oct 02 2021 at 21:39):
Is Gallinette related to Gallina?
Filippo A. E. Nuccio (Oct 03 2021 at 11:27):
Will you be working on Coq or mostly on Lean (or both)?
Last updated: Dec 20 2023 at 11:08 UTC