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
21
Déc
Une théorie des modèles de jeux
Clovis Eberhart (LAMA, Université de Savoie)
Un aspect attractif de la sémantique des jeux réside dans la simplicité et l'évidence des définitions qu'elle emploie, mais aussi dans les différentes variations qui [...]
07
Déc
A realizability notion for MSO over ω
Pierre Pradic (LIP, ÉNS Lyon)
Church’s synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic over infinite [...]
30
Nov
Une promenade entre logiques linéaires classiques et intuitionnistes
Olivier Laurent (LIP, CNRS, ENS Lyon)
On s'intéresse à différentes manières de relier la logique linéaire classique (LL) et sa version intuitionniste (ILL). Les principaux ingrédients sont l'étude de non-non traductions [...]
Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8
Michael Puschnigg (I2M, Aix-Marseille Université)
TBA
16
Nov
La géométrie cubique de la réécriture de dimension supérieure
Maxime Lucas (IRIF, Université de Paris)
La réécriture de dimension supérieure a pour origine des questions portant autour du problème du mot pour les monoides. Plus récemment, il a été montré [...]
Grands cardinaux et compacité
Laura Fontanella (Einstein Institute of Mathematics, The Hebrew University of Jerusalem)
La théorie axiomatique des ensembles s'est développée à partir d'un projet fondationnel pour toutes les mathématiques, cependant le développement de la méthode du forcing a [...]
La théorie des ensembles cinquante ans après Cohen
Patrick Dehornoy (LMNO, Université de Caen)
On présentera quelques résultats de théorie des ensembles récents, avec un accent sur l'hypothèse du continu et la possibilité de résoudre la question après les [...]
Two type-theoretic approaches to probabilistic termination
Charles Grellois (INRIA Sophia-Antipolis )
A fundamental result in lambda-calculus states that terms that admit a simple type are strongly normalizing: in other words, they always terminate. The simply-typed lambda-calculus [...]
Un contre-exemple à la conjecture de Thiagarajan sur les structures d'évènements régulières
Victor Chepoi (LIF, Aix-Marseille Université)
On présente un contre-exemple à la conjecture de Thiagarajan (1996 et 2002) affirmant que les structures d'évènements régulières correspondent exactement à celles obtenues comme dépliages [...]
Linear approximations, fibrations, intersection types
Luc Pellissier (LIPN, Université Paris 13)
We investigate intersection types from the “type systems as functors” viewpoint, as recently given by Melliès and Zeilberger. After recasting type-theoretic notions such as subject [...]
