Antonino Salibra
Full Professor of Computer Science
DAIS
Universita' Ca'Foscari Venezia.
Via Torino 155, 30172 Venezia Mestre - Italy
Tel: +39 0412348417
Email: salibra at unive.it
-
Scientific meeting in honor of Antonino Salibra. Paris, July 1-2, 2013.
- Invited Speaker, Non-commutative structures 2018: a workshop in honor of Jonathan Leech, 2018, 23-27 May, Portoroz, Slovenia.
- Invited Professor, Laboratoire IRIF, Universite' Paris-Diderot, 2018
- PhD course on ''Elliptic Curves, Number Theory and Cryptography'', University of Venice, 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 17-19th, 2014.
- 5 Talks at Computer Science Department, University of Leicester, January 26-31, 2014.
- Invited Speaker, Dagstuhl Seminar "Duality in Computer Science", Schloss Dagstuhl - Leibniz Center for Informatics, Germany, July 28-August 02, 2013.
- Invited talk at Monthly "CHoCoLa" meetings:
Curry-Howard: Logic and Computation, ENS de Lyon, February 14, 2013.
- Invited speaker at 37th International Symposium on
Mathematical Foundations of Computer Science (MFCS'12), August 27-31,
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