Directions and Perspectives in the λ-calculus

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

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)

Speakers

• Beniamino Accattoli (Partout Team, Inria and LIX École Polytechnique)

• Elena Di Lavore  (Dipartimento di Informatica, Università di Pisa)

• Zeinab Galal (Dipartimento di Informatica, Università di Bologna)

• Francesco Gavazzo (Dipartimento di Matematica, Università di Padova) 

• 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 Saville, Refined 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 Matache, Parameterized algebraic theories and scoped effects
• 11.50-12:20: Francesco Gavazzo, Relational Mechanics of the λ-Calculus
• 12.20-14.20: Lunch 
• 14.20-14.50: Elena Di Lavore, Effectful transition systems
• 14.50-15.20: Dima Szamozvancev, The 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 Galal, Bidimensional fixpoint operators
• 16.50-17.20: Beniamino Accattoli, It'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.