![Photo portrait of Thomas Ehrhard](https://te60.pages.math.cnrs.fr/img/photo.png)
Thomas Ehrhard, CNRS senior researcher at the IRIF lab of Université Paris-Cité, turned 60 in 2021. On this occasion (delayed for a year because of the pandemic) we organize a conference to celebrate Ehrhard’s contributions to logic and the semantics of programming languages.
The meeting will take place in Paris, at the CNAM, on 29-30 September 2022. The program will reflect the main themes of Ehrhard’s research (Linear Logic, Denotational Semantics and Lambda-calculus).
Registrations are now closed.
Sponsors
The meeting is kindly supported by:
![logo of CNRS](/img/logo-cnrs.png)
![logo of Université Paris Cité](/img/logo-up.png)
![logo of IRIF](/img/logo-irif.png)
![logo of AMU](/img/logo-amu.png)
![logo of I2M](/img/logo-i2m.png)
![logo of Inria](/img/logo-inria.png)
![logo of CNAM](/img/logo-cnam.png)
![logo of CEDRIC](/img/logo-cedric.png)