Pau, France

Stream: Geographic locality

[Paul Lezeau]

Hi there ! I'm a Maths student hoping to do a summer project formalizing some maths !

[Filippo A. E. Nuccio]

Hi Paul! In what year are you, now?

[Paul Lezeau]

I'm currently a second year student (I study in Britain, but have been spending quite a lot of time at home in France because of the lockdowns)

[Filippo A. E. Nuccio]

Ah, I see. So you're looking for a British summer project!

[Paul Lezeau]

Ideally ! I'm applying for something with my university at the minute !

[Rida Hamadani]

Hello, I'm now here. I am interested in Lean meetings here or nearby cities.

[Philippe Duchon]

Does Bordeaux count as nearby? we have an informal group (not very active) in the CS lab here.

[Shreyas Srinivas]

Rida Hamadani said:

Hello, I'm now here. I am interested in Lean meetings here or nearby cities.

Congratulations

[Rida Hamadani]

That's great! Yes I can visit Bordeaux whenever you meet, but I will need a week or two to settle down here first.

[Valentin Robert]

Hello les Palois et Bordelais. I have lived 5 years in Pau, and ~15 years in Caudéran/Pessac. I'm in the USA at the time though, but I visit Bordeaux every couple years.