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
18
Déc
Événements passés
Conflict nets: Locally canonical MALL proof nets
Willem Heijltjes (University of Bath)
A l’occasion de la soutenance de thèse de Matteo Acclavio l’après-midi. Proof nets capture the semantic and/or computational content of linear logic in a clean [...]
The geometry of logic, algebra and computation
Antonino Salibra (DAIS, Universita' Ca'Foscari Venezia)
A l’occasion de la soutenance de thèse de Thomas Leventis l’après-midi; We present a research program relating Logic, Algebra and Computation through decomposition operators, Boolean [...]
Practical Subtyping for System F
Christophe Raffalli (LAMA, Université de Savoie)
We present a rich type system with subtyping for an extension of System F. Our type constructors include sum and product types, universal and existential [...]
Transfinite games and the sequoidal exponential
John Gowers (University of Bath)
Laird a introduit la notion de catégorie sequoïdale – une extension de la structure de catégorie monoïdale par un nouveau connecteur ⊘ (le sequoïde) dont [...]
Effectuses, land of probabilities
Titouan Carette (ENS Lyon)
Curry-Howard isomorphism is a well known game which consists in translating concepts of computer science into logical ones and vice versa. Thus, when physicists came [...]
Aspects of 2-algebras: operads, bimodules and analytic functors
André Joyal (Université du Québec à Montréal (UQAM))
We exploit the analogy between the notion of symmetric monoidal closed category and that of commutative ring. We say that a presentable monoidal closed category [...]
29
Sep
On some toposes of topological setoids
Fabio Pasquali (IRIF, Université de Paris)
By “category topological setoids” we mean a category whose objects are pairs (A,R) where A is a topological space and R is an equivalence relation [...]
Classical realizability from relative realizability
Thomas Streicher (Technische Universität Darmstadt)
TBA
Homological computations for term rewriting systems
Samuel Mimram (LIX, Polytechnique Palaiseau)
An important problem in universal algebra consists in finding presentations of algebraic theories by generators and relations, which are as small as possible. Exhibiting lower [...]
