Séminaire Logique et Interactions
Le séminaire Logique et Interaction est le séminaire de l’équipe LDP de l’I2M. Il est conjoint au séminaire de l’équipe LSC du LIS.
Une liste de diffusion (modérée) pour recevoir les annonces d’exposés : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.
Les prochains séminaires
12
Fév
Is typed realizability only predicative?
Félix Castro (I2M, Aix-Marseille)
In Kleene realizability, formulas are interpreted as sets of (untyped) programs. This approach allows for a sound interpretation of Higher-Order Logic (HOL): it leads to [...]
19
Fév
Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten!
Rémy Cerda (Università di Bologna)
The standard notion of evaluation trees for the λ-calculus, namely Böhm trees, is quite ill-behaved with respect to the inputs of programs, namely free variables: [...]
Événements passés
01
Fév
Lattices of Paths and Flat Dihomotopy Types
Cameron Calk (LIS)
In this talk, I will describe ongoing work relating rewriting, quantales, and (directed) topology. The goal of this work is to describe the congruences of [...]
25
Jan
11
Jan
Construction de Grothendieck pour les omega-catégories strictes
Léonard Guetta (Utrecht)
Le but de cet exposé est de présenter un travail récent en collaboration avec Dimitri Ara et Andrea Gagna, dans lequel nous avons étudié les [...]
14
Déc
07
Déc
Making concurrency functional
Glynn Winskel (Huawei Edinburgh Research Centre and Strathclyde University)
This talk bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to [...]
30
Nov
Algebras in Relational Semantics
Guy McCusker (Bath)
The well-known relational semantics of linear logic is constructed out of two kinds of free algebra construction: the powerset and the set of finite multisets [...]
23
Nov
Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi
Rémy Cerda (I2M)
Une improvisation à partir de résultats récents adaptant les travaux de Kurz, Petrişan, Severi et de Vries à des types mixtes algébriques et coalgébriques.
16
Nov
09
Nov
Higher Structures in Homotopy Type Theory
Antoine Allioux (IRIF)
The definition of algebraic structures on arbitrary types in homotopy type theory (HoTT) has proven elusive so far. This is due to types behaving like [...]
02
Nov
Infinitary cut elimination via finite approximations
Matteo Acclavio, Gianluca Curzi (U. of southern Denmark, Gothenburg)
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor [...]
