Logic List Mailing Archive

CfParticipation: Workshop on Directions and Perspectives in the Lambda-Calculus, 08 January 2024, Bologna (Italy)

=== Call for Participation ===

Workshop on Directions and Perspectives in the Lambda-Calculus

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


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


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)

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

Gabriele Vanoni,
Institut de Recherche en Informatique Fondamentale, Université Paris Cité gabriele.vanoni@irif.fr
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php