Antonino Salibra
Professor of Computer Science, DAIS, Universita' Ca'Foscari Venezia, Italy
Associate Member, Laboratoire IRIF, Universite' de Paris, France
Email: salibra at unive.it

Scientific meeting in honor of Antonino Salibra. Paris, July 12, 2013.
 Speaker, 8th European Congress of Mathematics, 2021.
 Invited Professor, Laboratoire IRIF, Universite' ParisDiderot, 2019.
 Invited Speaker, Noncommutative structures 2018: a workshop in honor of Jonathan Leech, 2018, 2327 May, Portoroz, Slovenia.
 Invited Professor, Laboratoire IRIF, Universite' ParisDiderot, 2018
 PhD course on ''Elliptic Curves, Number Theory and Cryptography'', University of Venice, 2018
 Speaker, AsubL take 6 (Workshop on Algebra and substructural Logics) 2018, Cagliari, 2018
 Invited talk, Institut de Mathematiques, Aix Marseille Universite', 2016
 Invited talk, Summer of Logic, Universita' di Cagliari, 2015
 Invited talk, at Monthly "CHoCoLa" meetings, ENS, Lyon 2015
 L'anima del Gattopardo, regia di Annarita Zambrano,
Taormina Film Fest 2014
film
 Program Committee 15th Italian Conference on Theoretical Computer Science,
Perugia, Italy, September 1719th, 2014.
 5 Talks at Computer Science Department, University of Leicester, January 2631, 2014.
 Invited Speaker, Dagstuhl Seminar "Duality in Computer Science", Schloss Dagstuhl  Leibniz Center for Informatics, Germany, July 28August 02, 2013.
 Invited talk at Monthly "CHoCoLa" meetings:
CurryHoward: Logic and Computation, ENS de Lyon, February 14, 2013.
 Invited Professor, Fondation de Mathematique de Paris, 2012.
 Invited speaker at 37th International Symposium on
Mathematical Foundations of Computer Science (MFCS'12), August 2731,
2012, Bratislava, Slovakia.
 Lessons on Computability Theory, Summer School AILA (Associazione Italiana di Logica e sue Applicazioni), August 2011.
 My research interests include lambda calculus, universal algebra, domain theory and topology
(with applications to computer science), linear logic, differential and resource lambda calculi.
 My best papers:
''Topological incompleteness and order incompleteness of the lambda calculus';
and ''Boolean algebras for lambda calculus''.
 Papers
and Curriculum
 Calcolabilita' e Linguaggi Formali
 Mathematical Logic
 Matematica Discreta
 Algebra Lineare
 Matematica di Base