| 2020-10-08 | Un groupoïde d’arbres de permutations |
| 2020-07-02 | Finding Resolution in unexpected places: Girard's formula outside its usual setting |
| 2020-03-19 | Carlos SIMPSON - Séminaire LDP (TBA) |
| 2020-02-13 | Thibaut BENJAMIN - Théorie des types pour les oméga-catégories faibles |
| 2019-12-05 | Mauricio GUILLERMO - Séminaire Logique et Interactions (TBA) |
| 2019-11-28 | Léonard GUETTA - Homologie des infini-catégories strictes |
| 2019-11-21 | Luigi SANTOCANALE - On discrete idempotent paths |
| 2019-10-24 | Karoliina LEHTINEN - Quasi-polynomial techniques for parity games and and other problems |
| 2019-09-18 | Realizability Workshop 2019 |
| 2019-07-11 | Zeinab GALAL - Rigid species and normal functors over groupoids |
| 2019-07-04 | Pierre HYVERNAT - Checking correctness for recursive definitions with mixed inductive and coinductive types |
| 2019-06-20 | Charle GRELLOIS - Sur la terminaison des programmes probabilistes récursifs d'ordre supérieur |
| 2019-05-23 | Aurore ALCOLEI - Concurrent Games with side-information |
| 2019-05-02 | Marie KERJEAN - Polarized models of Differential Linear Logic |
| 2019-04-25 | Raphaëlle CRUBILLÉ - Probabilistic stable functions on discrete cones are power series |
| 2019-03-29 | Guillaume GEOFFROY - Réalisabilité classique : nouveaux outils et applications |
| 2019-03-21 | Luigi SANTOCANALE - Quantales MIX *-autonomes et l'ordre faible continu |
| 2019-02-28 | Claudia FAGGIAN - Lambda Calculus and Probabilistic Computation |
| 2019-02-14 | Laura FONTANELLA, Guillaume GEOFFROY - Un modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α) |
| 2019-02-14 | Un modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α) |
| 2019-01-17 | Christophe Lucas - Towards a Proof Theory of the Riesz Modal Logic |
| 2019-01-10 | Dimitri ARA - (TBA) |
| 2018-12-20 | Non idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus |
| 2018-12-06 | Matroïdes et leur graphes des bases |
| 2018-11-29 | Linear Implicative Algebras, towards a BHK interpretation of linear logic |
| 2018-11-22 | Zeinab GALAL - Connecting models of differential linear logic with reloids |
| 2018-10-17 | Journées LHC — Logique, Homotopie, Catégories |
| 2018-10-11 | Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types |
| 2018-10-04 | Revisiting Call-by-value Bohm trees in light of their Taylor expansion |
| 2018-09-27 | Une application de l’élimination parallèle des coupures en logique linéaire multiplicative sans unités au développement de Taylor des réseaux de preuves |
| 2018-09-13 | Évaluation sémantique en logique linéaire élémentaire |
| 2018-09-06 | The algebraic structure of classical realizability models |
| 2018-07-05 | Extensional and intensional semantic universes: a denotational model of dependent types |
| 2018-06-28 | Joint et tranches ∞-catégoriques |
| 2018-06-21 | Higher dimensional rewriting and cubical categories |
| 2018-06-14 | The true concurrency of Herbrand's theorem |
| 2018-06-12 | Rencontre de Réalisabilité |
| 2018-06-07 | Representing permutations without permutations, or the expressive power of sequence types |
| 2018-04-26 | Petites catégories comme modèles des types d'homotopie |
| 2018-04-19 | Logical by-need |
| 2018-04-05 | Completeness for identity-free Kleene lattices |
| 2018-03-29 | Les familles de catégories en géométrie et algèbre |
| 2018-03-08 | Les petites catégories comme modèles des types d'homotopie |
| 2018-02-22 | Une preuve assistée par ordinateur de l'irrationalité de zeta(3) |
| 2018-02-15 | Refutation of Sallé's Longstanding Conjecture |
| 2018-02-08 | Les petites catégories comme modèles des types d'homotopie |
| 2018-01-25 | Espèces de structures et λ-calcul différentiel |
| 2018-01-18 | Préservation de propriétés du modèle de départ en réalisabilité classique |
| 2018-01-11 | Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 |
| 2017-11-30 | Une promenade entre logiques linéaires classiques et intuitionnistes |
| 2017-11-23 | Toute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 |
| 2017-09-25 | Catégories pour la théorie de l'homotopie et la réécriture |
| 2017-06-15 | Linear approximations, fibrations, intersection types |
| 2017-05-30 | Théorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes |
| 2017-05-04 | Cyril CHENAVIER - Opérateurs de réduction et complétion de systèmes de réécriture linéaires |
| 2017-03-30 | Shapely monads and analytic functors |
| 2017-03-02 | Monotonicity in Logic and Complexity |
| 2016-12-15 | Lorenzo TORTORA DE FALCO - Remarques sur le développement de Taylor des réseaux |
| 2016-12-14 | Matteo ACCLAVIO - Réécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration |
| 2016-10-06 | Aspects of 2-algebras: operads, bimodules and analytic functors |
| 2016-09-29 | On some toposes of topological setoids |
| 2016-09-15 | Classical realizability from relative realizability |
| 2016-07-07 | Homological computations for term rewriting systems |
| 2016-06-02 | Modèles de réalisabilité classique par réalisateurs universels |
| 2016-03-03 | dPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices |
| 2016-02-04 | Logics for Weighted Automata and Transducers |
| 2015-12-10 | Luigi SANTOCANALE - Fixed-point elimination in the Intuitionisitic Propositional Calculus |
| 2015-12-10 | Typed realizability for first-order classical analysis |
| 2015-11-26 | Réécriture linéaire et théorème de Squier pour les algèbres |
| 2015-11-12 | Quillen's theorem A and categories as model for homotopy types |
| 2015-10-08 | Utilisation de catégories supérieures pour les résolutions d'algèbres |
| 2015-09-24 | L'instruction fork et le principe d'induction en réalisabilité classique |
| 2015-07-02 | Realizability games for the specification problem |
| 2015-05-28 | Treillis et extensions de la logique linéaire additive |
| 2015-04-23 | Pierre HYVERNAT - Représentation des fonctions continues entre "streams" (& Co.) par des types de données |
| 2015-03-26 | Bar recursion, sémantique dénotationnelle et réalisabilité classique |
| 2015-03-19 | Types inductifs stricts et paresseux, du point de vue de la logique linéaire |
| 2015-02-19 | A semantic study of higher-order model-checking |
| 2015-01-29 | Unary second-order propositional logic |
| 2015-01-08 | Marie KERJEAN - Topologies faibles et logique linéaire |
| 2014-12-15 | Une étude combinatoire du lambda-calcul avec ressources uniforme |
| 2014-10-09 | Théorie homotopique des n-catégories |
| 2014-10-02 | Théorie homotopique des n-catégories |
| 2014-03-18 | Category theory in the Univalent Foundations |
| 2014-02-10 | Proof theory for dynamic logics |
