Manzonetto Giulio
Professeur de l'UFR Informatique - Université Paris Cité
Institut de Recherche en Informatique Fondamentale (IRIF)
(λ
x
.gmanzone
x
irif.fr)@
Professor in Computer Science
Giulio Manzonetto & Henk Barendregt
News
1 Sep 2023: Today I start working as a Professor at
IRIF
, University Paris Cité.
7 July 2023: I joined the Steering Committee of the
International Conference on Formal Structures for Computation and Deduction (FSCD)
.
3 May 2023: I will present the Satellite book in a plenary lecture at
FSCD'23 in Rome.
Hope to meet you there.
5 oct 2022: The book
"A Lambda Calculus Satellite"
, jointly written with H. Barendregt, is now published.
6 apr 2022: Together with Henk Barendregt, I am finalizing a satellite book of "The lambda calculus, its syntax and semantics". Stay tuned.
1 sep 2021: I serve as General Chair of the International Conference on Microservices 2022.
4 jun 2020: I am the recipient of the
Paolo Gentilini Award 2020
for Mathematical Logic and its Applications to Computer Science.
1 jan 2020: My POPL 2020 article
Taylor Subsumes Scott, Berry, Kahn and Plotkin
has been selected as distinguished paper.
1 jun 2019: I am an invited speaker at the
10th International Workshop on Higher-Order Rewriting
.
15 Feb 2018: I am spending four months as invited member of the
laboratory I2M
in Marseille.
News Archive
.
Teaching
Research
Curriculum
Spare Time
Page maintained by Giulio Manzonetto