8 January 2024, Workshop on Directions and Perspectives in the Lambda-Calculus, Bologna, Italy

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 aim of the workshop is to gather mostly young (possibly non permanent) 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.