Research on "Semantics and Logics of Computation"
"Types for higher-order, concurrent, and object-oriented processes"
Corso Svizzera 185, I-10149 Torino, Italy
Fax: +39 011 751603
EATCS Fellow in 2015
Types and Logic in Torino
Member of the Academia
Member of the IFIP
Working Group 2.2
Member of the Editorial Board of Information&Computation
Honorary Advisor of TLCA
Member of the Editorial Board of The
Co-ordinator of the IP
Member of the Steering Committee of DCM
Member of the Steering Committee of ITRS
Member of the Editorial Board of Scientific Annals of Computer Science
MATYSS McTafi DART MIKADO
Conferences and Workshops
Corrado Böhm Memorial
On July 9 2018 in Oxford, there will be a memorial in honour of Professor Corrado Böhm, whose work has been of tremendous inspiration to the research community and deeply influenced the development of theoretical computer science.
Two special guests
for the Corrado Böhm Memorial:
- Henk Barendregt (Radboud U., Nijmegen, The Netherlands)
- Silvio Micali (MIT Computer Science & Artificial Intelligence Lab, US)