Hi, I'm Luca Padovani and this is my home page.

ABOUT ME

I am an associate professor of Computer Science at the Computer Science Division of the School of Science and Technology of the University of Camerino. My research interests include programming languages, type systems, concurrency theory and formal software verification. On clear nights, I'm an amateur astrophotographer.

Publications

2024

  • Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Tirore, Martin Vassor, Nobuko Yoshida and Daniel Zackon, The Concurrent Calculi Formalisation Benchmark, Proceedings of the 26th International Conference on Coordination Models and Languages (COORDINATION’24), 2024.
  • Luca Ciccone, Francesco Dagnino and Luca Padovani, Fair Termination of Multiparty Sessions, Journal of Logical and Algebraic Methods in Programming, 2024.

2023

  • Ilaria Castellani, Ornela Dardha, Luca Padovani and Davide Sangiorgi, EXPRESSing Session Types, Proceedings of the Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS’23), pages 8-25, 2023.
  • Ross Horne and Luca Padovani, A Logical Account of Subtyping for Session Types, Proceedings of the 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’23), pages 26-37, 2023.

2022

  • Luca Padovani, On the Fair Termination of Client-Server Sessions, Proceedings of the 28th International Conference on Types for Proofs and Programs (TYPES’22), pages 5:1-5:21, 2022.
  • Luca Ciccone and Luca Padovani, An Infinitary Proof Theory of Linear Logic Ensuring Fair Termination in the Linear π-Calculus, Proceedings of the 33rd International Conference on Concurrency Theory (CONCUR’22), pages 36:1-36:18, 2022.
  • Luca Ciccone and Luca Padovani, Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types, Logical Methods in Computer Science, pages 27:1-27:29, 2022.
  • Luca Ciccone, Francesco Dagnino and Luca Padovani, Fair Termination of Multiparty Sessions, Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP’22), pages 26:1-26:26, 2022.
  • Stephanie Balzer and Luca Padovani, Preface to the special issue on the 12th workshop on programming language approaches to concurrency and communication-centric software (PLACES) 2020, Journal of Logical and Algebraic Methods in Programming, 2022.
  • Luca Ciccone and Luca Padovani, Fair Termination of Binary Sessions, Proceedings of the ACM on Programming Languages, pages 5:1-5:30, 2022.
  • Iacopo Colonnelli, Marco Aldinucci, Barbara Cantalupo, Luca Padovani, Sergio Rabellino, Concetto Spampinato, Roberto Morelli, Rosario Di Carlo, Nicolò Magini and Carlo Cavazzoni, Distributed workflows with Jupyter, Future Generation Computer Systems, pages 282-298, 2022.
    abstract bib editor's choice paper in fall 2022

2021

2020

2019

2018

2017

2016

  • Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luı́s Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira and Gianluigi Zavattaro, Foundations of Session Types and Behavioural Contracts, ACM Computing Surveys, pages 3:1-3:36, 2016.
  • Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos and Nobuko Yoshida, Behavioral Types in Programming Languages, Foundations and Trends in Programming Languages, pages 95-230, 2016.
  • Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini, On Sessions and Infinite Data, Proceedings of the 18th International Conference on Coordination Models and Languages (COORDINATION’16), pages 245-261, 2016.
    bib best paper nomination
  • Luca Padovani, Fair Subtyping for Multi-Party Session Types, Mathematical Structures in Computer Science, pages 424-464, 2016.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida and Luca Padovani, Global Progress for Dynamically Interleaved Multiparty Sessions, Mathematical Structures in Computer Science, pages 238-302, 2016.

2015

2014

  • Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantović, Session Type Isomorphisms, Proceedings of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’14), pages 61-71, 2014.
  • Luca Padovani, Vasco T. Vasconcelos and Hugo Torres Vieira, Typing Liveness in Multiparty Communicating Systems, Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION’14), pages 147-162, 2014.
  • Luca Padovani, Deadlock and Lock Freedom in the Linear π-Calculus, Proceedings of the Joint EACSL Annual Conference on Computer Science Logic and Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS’14), pages 72:1-72:10, 2014.
  • Luca Padovani, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS’14), pages 88-102, 2014.
    bib slides pdf best paper nomination
  • Svetlana Jakšić and Luca Padovani, Exception Handling for Copyless Messaging, Science of Computer Programming, pages 22-51, 2014.
  • Giuseppe Castagna, Kim Nguyễn, Zhiwu Xu, Hyeonseung Im, Sergueı̈ Lenglet and Luca Padovani, Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), pages 5-17, 2014.

2013

  • Luca Padovani, From Lock Freedom to Progress Using Session Types, Proceedings of Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES’13), pages 3-19, 2013.
  • Luca Padovani, Fair Subtyping for Open Session Types, Proceedings of the 40th International Colloquium on Automata, Languages and Programming (ICALP’13), Part II, pages 373-384, 2013.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani and Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, Proceedings of the 15th International Conference on Coordination Models and Languages (COORDINATION’13), pages 45-59, 2013.
  • Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani and Nobuko Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, Proceedings of the 1st International Workshop on Behavioural Types (BEAT’13), pages 16-27, 2013.
  • Viviana Bono, Luca Padovani and Andrea Tosatto, Polymorphic Types for Leak Detection in a Session-Oriented Functional Language, Proceedings of the IFIP International Conference on Formal Methods and Techniques (FORTE’13), pages 83-98, 2013.
  • Cosimo Laneve and Luca Padovani, An Algebraic Theory for Web Service Contracts, Proceedings of the 10th International Conference on Integrated Formal Methods (IFM’13), pages 301-315, 2013.

2012

  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani, On Global Types and Multi-Party Sessions, Logical Methods in Computer Science, pages 1-45, 2012.
  • Luca Padovani, On Projecting Processes into Session Types, Mathematical Structures in Computer Science, pages 237-289, 2012.
  • Ferruccio Damiani, Luca Padovani and Ina Schaefer, A Formal Foundation for Dynamic Delta-Oriented Software Product Lines, Proceedings of the 11th International Conference on Generative Programming and Component Engineering (GPCE’12), pages 1-10, 2012.
    abstract bib eapls best paper
  • Svetlana Jakšić and Luca Padovani, Exception Handling for Copyless Messaging, Proceedings of the 14th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’12), pages 151-162, 2012.
  • Viviana Bono and Luca Padovani, Typing Copyless Message Passing, Logical Methods in Computer Science, pages 1-50, 2012.

2011

  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini and Luca Padovani, On Global Types and Multi-Party Sessions, Proceedings of the IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’11), pages 1-28, 2011.
  • Luca Padovani, Session Types = Intersection Types + Union Types, Proceedings of the Workshop on Intersection Types and Related Systems (ITRS’10), pages 71-89, 2011.
  • Luca Padovani, Fair Subtyping for Multi-Party Session Types, Proceedings of the 13th International Conference on Coordination Models and Languages (COORDINATION’11), pages 127-141, 2011.
  • Viviana Bono and Luca Padovani, Polymorphic Endpoint Types for Copyless Message Passing, Proceedings of the 4th Interaction and Concurrency Experience (ICE’11), pages 52-67, 2011.
  • Viviana Bono, Chiara Messa and Luca Padovani, Typing Copyless Message Passing, Proceedings of the 20th European Symposium on Programming (ESOP’11), pages 57-76, 2011.

2010

  • Luca Padovani, Contract-Based Discovery of Web Services Modulo Simple Orchestrators, Theoretical Computer Science, pages 3328-3347, 2010.
  • Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi and Andrea Santi, MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems, Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN’10), pages 134-149, 2010.

2009

  • Luca Padovani, Session Types at the Mirror, Proceedings of the 2nd Interaction and Concurrency Experience (ICE’09), pages 71-86, 2009.
  • Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino and Luca Padovani, Foundations of Session Types, Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP’09), pages 219-230, 2009.
    abstract bib ppdp Most Influential Paper
  • Samuele Carpineti, Cosimo Laneve and Luca Padovani, PiDuce - A Project for Experimenting Web Services Technologies, Science of Computer Programming, pages 777-811, 2009.
  • Giuseppe Castagna and Luca Padovani, Contracts for Mobile Processes, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR’09), pages 211-228, 2009.
  • Giuseppe Castagna, Nils Gesbert and Luca Padovani, A Theory of Contracts for Web Services, ACM Transactions on Programming Languages and Systems, pages 19:1-19:61, 2009.
  • Luca Padovani, Contract-based Discovery and Adaptation of Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM’09), pages 213-260, 2009.
  • Marco Bernardo, Luca Padovani and Gianluigi Zavattaro, Formal Methods for Web Services, International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM’09), Advanced Lectures, 2009.

2008

  • Luca Padovani, Contract-Directed Synthesis of Simple Orchestrators, Proceedings of the 19th International Conference on Concurrency Theory (CONCUR’08), pages 131-146, 2008.
  • Cosimo Laneve and Luca Padovani, The Pairing of Contracts and Session Types, Concurrency, Graphs and Models (Ugo65’08), pages 681-700, 2008.
  • Giuseppe Castagna, Nils Gesbert and Luca Padovani, A Theory of Contracts for Web Services, Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’08), pages 261-272, 2008.

2007

  • Cosimo Laneve and Luca Padovani, The Must Preorder Revisited - An Algebraic Theory for Web Services Contracts, Proceedings of the 18th International Conference on Concurrency Theory (CONCUR’07), pages 212-225, 2007.
  • Marco Bernardo and Luca Padovani, Performance-Oriented Comparison of Web Services via Client-Specific Testing Preorders, Proceedings of the 9th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’07), pages 269-284, 2007.
  • Giuseppe Castagna, Nils Gesbert and Luca Padovani, A Theory of Contracts for Web Services, Proceedings of the ACM SIGPLAN Workshop on Programming Language Technologies for XML (PLAN-X’07), pages 37-48, 2007.

2006

  • Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve and Luca Padovani, A Formal Account of Contracts for Web Services, Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM’06), pages 148-162, 2006.
  • Cosimo Laneve and Luca Padovani, Smooth Orchestrators, Proceedings of International Conference on Foundations of Software Science and Computation Structures (FoSSaCS’06), pages 32-46, 2006.
  • Luca Padovani and Stefano Zacchiroli, From Notation to Semantics: There and Back Again, Proceedings of the 5th International Conference on Mathematical Knowledge Management (MKM’06), pages 194-207, 2006.

2005

  • Nadia Busi and Luca Padovani, A Distributed Implementation of Mobile Nets as Mobile Agents, Proceedings of the 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS’05), pages 259-274, 2005.
  • Luca Padovani, Compilation of Generic Regular Path Expressions Using C++ Class Templates, Proceedings of the 14th International Conference on Compiler Construction (CC’05), pages 27-42, 2005.

2004

  • Luca Padovani, Claudio Sacerdoti Coen and Stefano Zacchiroli, A Generative Approach to the Implementation of Language Bindings for the Document Object Model, Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE’04), pages 469-487, 2004.
  • Luca Padovani and Riccardo Solmi, An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics, Proceedings of the 3rd International Conference on Mathematical Knowledge Management (MKM’04), pages 302-316, 2004.
  • Luca Padovani, A Math Canvas for the GNOME Desktop, Proceedings of the 5th Annual GNOME User and Developer European Conference (GUADEC’04), 2004.
  • Luca Padovani, Interactive Editing of MathML Markup Using TeX Syntax, Proceedings of the International Conference on TeX, XML, and Digital Typography (TUG’04), pages 125-138, 2004.

2003

  • Luca Padovani, On the Roles of LaTeX and MathML in Encoding and Processing Mathematical Expressions, Proceedings of the 2nd International Conference on Mathematical Knowledge Management (MKM’03), pages 66-79, 2003.
  • Luca Padovani, MathML Formatting with TeX Rules, TeX Fonts, and TeX Quality, The Communications of the TeX Users Group, pages 53-61, 2003.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen, Ferruccio Guidi and Irene Schena, Mathematical Knowledge Management in HELM, Annals of Mathematics and Artificial Intelligence, pages 27-46, 2003.

2002

  • Paolo Casarini and Luca Padovani, The GNOME DOM Engine, Markup Languages: Theory & Practice, pages 173-190, 2002.
  • Luca Padovani, A Standalone Rendering Engine for MathML, Proceedings of the MathML International Conference (MathML’02), pages 109-114, 2002.
  • Yuzhen Xie, Stephen M. Watt and Luca Padovani, A Lisp Subset Based on MathML, Proceedings of the MathML International Conference (MathML’02), pages 101-108, 2002.

2001

  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena, HELM and the Semantic Math-Web, Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs’01), pages 59-74, 2001.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena, XML, Stylesheets and the Re-mathematization of Formal Content, Proceedings of the Extreme Markup Languages Conference (EXTREME’01), pages 17-27, 2001.
  • Paolo Casarini and Luca Padovani, The GNOME DOM Engine, Proceedings of the Extreme Markup Languages Conference (EXTREME’01), pages 45-53, 2001.
  • Andrea Asperti, Luca Padovani, Claudio Sacerdoti Coen and Irene Schena, Formal Mathematics on the Web, Proceedings of the 8th International Conference on Libraries and Associations in the Transient World: New Technologies and New Forms of Cooperation (Crimea’01), pages 342-346, 2001.

News

Erlang workshop and ICTCS

11 March 2024

I’m excited to be a program committee member of Erlang 2024, the 23rd ACM SIGPLAN Erlang Workshop that will be organized as a co-located event affiliated with ICFP 2024, and of ICTCS 2024, the 25th Italian Conference on Theoretical Computer Science. This year ICFP will be held in Milan and ICTCS in Turin!

My astrophotography logbook

11 December 2023

I’ve added a new astrophotography section (see below) with the most significant astrophotos I take. The idea is to keep track of the progress I make in this challenging but extremely rewarding hobby. Note that high resolution versions of the photos are not available from this site, but feel free to mail me if you’d like to have one.

A logical account of subtyping for session types

16 April 2023

In this paper, my first collaboration with Ross Horne, we study a termination-preserving notion of subtyping for session types in a logical setting, where session types are propositions of μMALL, that is multiplicative/additive linear logic extended with least and greatest fixed points. We are amused by how simple it is to characterize subtyping in this logic! The paper has been presented at the PLACES 2023 workshop (slides here), whose open-access proceedings are available online.

Astrophotography

I like to take pictures of distant objects. Below is a selection of the best pictures I took in reverse chronological order. Higher resolution pictures are not available from this site. If you would like to have one, please drop me an email.

M5
12 May 2024
Markarian's Chain
07 April 2024
M104 (Sombrero Galaxy)
28 March 2024
IC 443 (Jellyfish Nebula)
13 March 2024
Comet 12P/Pons-Brooks
12 March 2024
Leo Triplet: M65 (left), M66 (middle) and NGC 3628 (right)
12 March 2024
Mineral moon
25 February 2024
M42 (Orion Nebula), M43 (De Mairan's Nebula) and Sh2-279 (Running Man Nebula)
20 February 2024
M81 (Bode's Galaxy), M82 (Cigar Galaxy) and NGC 3077
14 February 2024
Caldwell 49 (Rosette Nebula)
13 February 2024
NGC 2024 (Flame Nebula) and Barnard 33 (Horsehead Nebula)
03 February 2024
M31 (Andromeda Galaxy)
27 September 2023
Jupiter and Europe
12 September 2023
Io transit on Jupiter
21 August 2023
Saturn
16 August 2023

Quotes

“In the modern world the stupid are cocksure while the intelligent are full of doubt”, Bertrand Russell, 1933