Remy Cerda
I2M, Aix-Marseille Université
/user/remy.cerda/
Date(s) : 04/05/2022 iCal
10 h 30 min - 12 h 00 min
From the 1930s onwards, the beginnings of computer science completely renewed mathematical logic by relating it, in a rather surprising manner, to a notion of computation. I will present an outline of this approach (called the Curry-Howard correspondence between programs and proofs), and some of its contemporary developments.
Emplacement
FRUMAM, St Charles (2ème étage)
Catégories