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
25
Jun
02
Jul
Événements passés
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
21
Dec
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
Dec
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 [...]
