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
Logical by-need
Alexis Saurin (IRIF, Université de Paris)
L'analyse de l'appel par nécessité (aussi appelé évaluation paresseuse) est complexe, d'autant plus lorsqu'on considère des opérateurs de contrôle. Ceci suggère de faire appel à [...]
Completeness for identity-free Kleene lattices
Amina Doumane (IRIF, Université de Paris)
We provide a finite set of axioms for identity-free Kleene lattices, which we prove sound and complete for the equational theory of their relational models. [...]
Les familles de catégories en géométrie et algèbre
Eduard Balzin (LJAD, Université Côte d'Azur, Nice)
Dans cet exposé on parlera des problèmes mathématiques qui peuvent être étudiés en utilisant le formalisme des familles de catégories. Beaucoup d’exemples de familles proviennent [...]
Les petites catégories comme modèles des types d'homotopie (2ème partie)
Andrea Gagna (I2M, Aix-Marseille Université)
La théorie de l'homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible [...]
Une preuve assistée par ordinateur de l'irrationalité de zeta(3)
Assia Mahboubi ( INRIA, Gallinette team, Nantes)
L'étude des valeurs de la fonction zeta de Riemann aux entiers impairs est encore aujourd'hui un sujet de recherche actif en théorie des nombres. R. [...]
Refutation of Sallé's Longstanding Conjecture
Giulio Manzonetto (LIPN, Université Paris 13)
The lambda-calculus possesses a strong notion of extensionality, called "the omega-rule", which has been the subject of many investigations. It is a longstanding open problem [...]
Les petites catégories comme modèles des types d'homotopie
Andrea Gagna (I2M, Aix-Marseille Université)
La théorie de l'homotopie des petites catégories a été introduite par Grothendieck avec la définition du foncteur nerf, qui permet de donner une notion sensible [...]
25
Jan
Espèces de structures et λ-calcul différentiel
Zeinab Galal (IRIF, Université de Paris)
TBA http://www.irif.fr/users/zeinab/index
18
Jan
Préservation de propriétés du modèle de départ en réalisabilité classique
Hadrien Batmalle (IRIF, Université de Paris)
La réalisabilité classique permet d'interpréter des théories mathématiques classiques, comme la théorie des ensembles ZF, dans divers modèles de calcul (lambda-calcul avec continuations, domaines…axiomatisés au [...]
Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 (2ème partie)
Michael Puschnigg (I2M, Aix-Marseille Université)
TBA
