[TYPES/announce] Directions and perspectives in the lambda-calculus - Call for Online Participation

[Gabriele Vanoni]

(Apologies for multiple postings)

=== News ===

- Remote attendance: https://urldefense.com/v3/__https://bbb.lipn.univ-paris13.fr/b/bar-47o-6n5-vop__;!!IBzWLUs!Qmk4vcXgAv5OMgDFtP3uaHrMvb9ICcB34cPh5p7MEhFXn9uTZdtlCLed92JWLFUy_2wrw0QCcj7w4ITZW4Kt3bk0UHfnfI1s36QQEMA$ 
- Updated program.
- Registration is over.


=== Call for Participation ===

Workshop on Directions and Perspectives in the Lambda-Calculus

08 January 2024, Università di Bologna, Bologna, Italy

Part of the World Logic Day international event.

https://urldefense.com/v3/__https://site.unibo.it/diapason/en/agenda/directions-and-perspectives-in-the-lambda-calculus__;!!IBzWLUs!Qmk4vcXgAv5OMgDFtP3uaHrMvb9ICcB34cPh5p7MEhFXn9uTZdtlCLed92JWLFUy_2wrw0QCcj7w4ITZW4Kt3bk0UHfnfI1sDUg67q0$ 

== About 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 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.

== Topics ==

A non exclusive list of aspects of the lambda-calculus 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)

== Important dates ==

- Workshop: 08 January 2024

== 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 (LIP, Université Lyon 1)
- Philip Saville (Department of Computer Science, University of Oxford)
- Dima Szamozvancev (Department of Computer Science and Technology,
University of Cambridge)

The detailed programme of the workshop is available on the webpage of
the workshop.


== Organisers and Contacts ==

Davide Barbarossa,
Dipartimento di Informatica,
Università di Bologna
davide.barbarossa at unibo.it


Gabriele Vanoni,
Institut de Recherche en Informatique Fondamentale,
Université Paris Cité
gabriele.vanoni at irif.fr