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.
The meeting is kindly supported by: