For several years now, there has been a growing connection between automata and $\lambda$-calculus, in terms of syntax, semantics and logic.

The terms of the $\lambda$-calculus provide a natural generalisation of finite words and trees, while their semantics appears to be closely related to automata theory. Various works have been carried out to generalise to this higher-order framework the tools for the usual regular languages. The aim of this Lambda Pros day is to bring together researchers interested in these connections, in particular around topics such as

• regular languages of $\lambda$-terms
• higher-order automata and finitary semantics
• specification logics, such as MSO
• profinite spaces and Stone duality
• higher-order model checking

and others. We hope that this Lambda Pros day will contribute to the convergence of these two communities of researchers working on automata theory and the syntax and semantics of the $\lambda$-calculus.

Attendance to the Lambda Pros day is open to everyone, but please register here for the meal provided by IRIF.

Organisers: Sam van Gool, Paul-André Melliès, Vincent Moreau.

Date: Wednesday 28 June 2023.

Localization: Room 146 of the Olympe de Gouge building.