Directions and Perspectives in the λ-calculus

  • Date: 08 JANUARY 2024  from 9:00 to 17:45

  • Event location: Aula Ercolani 3, Mura Anteo Zamboni 2B, 40126 Bologna, Italia - In presence and online event

  • Type: Workshop

This workshop is also part of the UNESCO World Logic Day.

Organising Committee and contacts

Davide Barbarossa


Write an e-mail

Go to the website

Post-Doc researcher
Dipartimento di Informatica (DISI)
Università di Bologna

Gabriele Vanoni


Write an e-mail

Go to the website

Post-Doc researcher
Institut de Recherche en Informatique Fondamentale (IRIF)
Université Paris Cité, CNRS

Purpose of the workshop


The concept of computation is interesting in philosophy, mathematics, and of course computer science. The λ-calculus is certainly one of the main tools for studying this concept: after almost 100 years, why are we still working on this formalism (or related subjects)? And where are we going? What are the scientific or philosophical challenges that λ-calculus has proposed? What are the ones that it may propose in the future?


The goal of the workshop is to gather mostly young researchers together in order to address the above mentioned questions. The style will not necessarily be of a technical nature, but rather of overview and conceptual one.


A definitely non exclusive list of topics that we would like to touch:

  • Syntax (linear, graphical, abstract, etc. )
  • Semantics (operational, denotational, categorical, etc.)
  • Formalization of mathematics and software verification
  • Functional programming
  • Relations with other disciplines (e.g. to philosophy, linguistics, biology)



  • Zeinab Galal (Dipartimento di Informatica, Università di Bologna)
  • Giulio Manzonetto (Institut de Recherche en Informatique Fondamentale, Université Paris Cité)
  • Cristina Matache (Laboratory for Foundations of Computer Science, University of Edinburgh)
  • Paolo Pistone (Laboratoire de l'Informatique et du Parallelisme, Université Lyon 1)
  • Egbert Rijke (Faculty of Mathematics and Physics, University of Ljubljana.)
  • Philip Saville (Department of Computer Science, University of Oxford)
  • Dima Szamozvancev (Department of Computer Science and Technology, University of Cambridge)

Current Programme


  • 9.00-9.20: Opening & Introduction
  • 9.20-9.50: Giulio Manzonetto,The lambda-calculus yesterday, today, and tomorrow
  • 9.50-10.20: Philip SavilleRefined syntax and semantics via taking contexts seriously
  • 10.20-10.50: Paolo Pistone, Should we still believe in proofs as programs
  • 10.50-11:20: Coffee break
  • 11.20-11.50: Cristina MatacheParameterized algebraic theories and scoped effects
  • 11.50-12:20: Francesco GavazzoRelational Mechanics of the λ-Calculus
  • 12.20-14.20: Lunch 
  • 14.20-14.50: Elena Di LavoreEffectful transition systems
  • 14.50-15.20: Dima SzamozvancevThe trials and tribulations of language formalisation
  • 15.20-15.50: Egbert Rijke, Principles of mathematical knowledge representation in libraries of formalized mathematics
  • 15.50-16.20: Coffee break
  • 16.20-16.50: Zeinab GalalBidimensional fixpoint operators
  • 16.50-17.20: Beniamino AccattoliIt's only lambda calculus (but I like it)
  • 17.20-17.30: Closing 

Location and transportation


  • From Bologna Central Station: Bus line 32 departs frequently from Station Stazione Centrale to Porta San Donato, which is located right in front of the Mura Anteo Zamboni. To get to the station from the venue, take bus line 33 from station Porta San Donato to Stazione Centrale. Tickets can be bought on the bus or for a slightly cheaper price at tobacco shops, e.g. at the train station.


  • From Bologna Marconi Airport: The Marconi Express train connects the airport with Bologna central station. Tickets (which cost 11 Euros) can be bought online or from vending machines located at the airport and Bologna central station. A taxi from the airport to Bologna downtown costs approximately 20 to 25 Euros.

Room E3. In order to reach it, it is better to take the entrance from Mura Anteo Zamboni (see the map).