Grenoble France

Stream: Geographic locality

[orlando]

Hello, i'm on the photo :innocent: grenonbl.jpg

[Thomas Vigouroux]

Just started using Lean, and doing a PhD in Grenoble !

[Filippo A. E. Nuccio]

Hi! Are you aware that in Lyon/Saint-Étienne (not that far...) we have some activities? Whom are you working with in Grenoble?

[Frédéric Dupuis]

I'm visiting Grenoble until April 14, and then Lyon until May 24. And of course I'll be at LFTCM in Marseille!

[Riccardo Brasca]

In Grenoble there is this conference. I will be there for the "proof assistant afternoon".

[Frédéric Dupuis]

Yes, I was told about this a few days ago -- I should be there!

[Sophie Morel]

Oh, interesting, I am tempted now !