Manzonetto Giulio

(λx.gmanzonexgmail.com)@
Ph.D. in Computer Science
Address: LIPN - Institut Galilée, Université Paris-Nord, 99, av. Jean-Baptiste Clément, 93430 Villetaneuse
Office 1: A207, Tel. +33 (0)1 49 40 36 84, Laboratoire d'Informatique de Paris Nord (LIPN) - Équipe LCR
Office 2: L212, IUT de Villetaneuse - Département R&T

Fo lo manto al caco macaco
e'l truffo sgarruffo a lo spino del baco
(Marius, poeta efficace)

Maître de Conférences HDR

Giulio Manzonetto & Henk Barendregt

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.
28 Avr 2017: I am in the Program Committee of Trends in Linear Logic and Applications, a satellite workshop of FSCD 2017.
3 Mar 2017: Today I defended my mémoir d'Habilitation à diriger des recherches. I wish to thank all jury members and all the people who attended.
1 Sep 2016: This academical year I am in délégation CNRS at the laboratory IRIF, University Paris-Diderot. Starting today.
14 May 2016: The things you can find in London...