Workshop in Honour of Thomas Ehrhard's 60th Birthday

29-30 September 2022, Paris, France

Photo portrait of Thomas Ehrhard

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: