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