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

[Gabriele Vanoni]

(Apologies for multiple postings)


=== Call for Participation ===

Workshop on Directions and Perspectives in the Lambda-Calculus

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

https://urldefense.com/v3/__https://site.unibo.it/diapason/en/agenda/directions-and-perspectives-in-the-lambda-calculus__;!!IBzWLUs!XjcvewvskJ4chusc-u_yjJY4Fmg8-oGxTg_cosJ-6WjxvKd94dbHPGWm3L1j_G-ib-Wij4S0zngpvXAggm9RvpVt3TQESp9iK0Jn2Fo$ 

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

== Registration ==

The participation to the workshop is free, but if you would like to
participate we kindly ask you to fill the following form before
November 26th:

https://urldefense.com/v3/__https://framaforms.org/directions-and-perspectives-in-the-lambda-calculus-1698876452__;!!IBzWLUs!XjcvewvskJ4chusc-u_yjJY4Fmg8-oGxTg_cosJ-6WjxvKd94dbHPGWm3L1j_G-ib-Wij4S0zngpvXAggm9RvpVt3TQESp9i1wyL7cw$ 

Remark that, except the coffee breaks, the meals are on your own charge.

== Speakers ==

- Beniamino Accattoli (Partout Team, Inria and LIX École Polytechnique)
- Elena Di Lavore  (Compositional Systems and Methods group, Tallinn
University of Technology)
- Zeinab Galal (Dipartimento di Informatica, Università di Bologna)
- Francesco Gavazzo (Dipartimento di Informatica, Università di Pisa)
- Giulio Manzonetto (Institut de Recherche en Informatique
Fondamentale, Université Paris Cité)
- Cristina Matache (Laboratory for Foundations of Computer Science,
University of Edinburgh)
- 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)
- TBA

The programme of the workshop and the titles+abstracts of the talks
will appear in due time 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