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
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 [...]
Une sémantique des jeux parallèle pour PCF
Pierre Clairambault (LIP, CNRS, ENS Lyon)
PCF est le langage paradigmatique pour la programmation séquentielle d'ordre supérieur. Mais bien que séquentiel, étant purement fonctionnel, son ordre d'évaluation ne peut être observé [...]
Modèles de réalisabilité classique par réalisateurs universels
Guillaume Geoffroy (I2M, Aix-Marseille Université)
TBA
An untyped lambda-calculus generalizing Call-By-Name and Call-By-Value
Giulio Guerrieri (I2M, Aix-Marseille Université)
We introduce and study the Bang Calculus, an untyped functional calculus in which the promotion operation of Linear Logic is made explicit and where application [...]
