Séminaire Logique et Interactions

Évènements à venir / Upcoming talks
iCal

2024-04-18 Gabriele VanoniSéminaire LSC

 

Responsable Lionel VAUX AUCLAIR
Fréquence hebdomadaire (sauf conflit avec Chocola)
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy (accès), 1er étage de l’ancienne BU
Lien équipe LdP
Contact lionel.vaux_at_univ-amu.fr

Une liste de diffusion (modérée) pour être tenu au courant des exposés de ce séminaire : i2m-seminaire-logique@univ-amu.fr
Pour s’inscrire, contacter le responsable.

Évènements passés / Past events

2024-02-22Hugo Paquet2-Dimensional Monads and Concurrency
2024-02-21Pierre ClairambaultSoutenance d'HDR
2024-02-15Zeinab GalalSéminaire LSC: Newton-Raphson iteration for Cartesian differential categories
2024-02-08Aymeric WalchCoherent Taylor expansion as a bimonad in models of LL
2024-02-01Cameron CalkLattices of Paths and Flat Dihomotopy Types
2024-01-25Emmanuel Beffara, Marie Kerjean, Gabriel SchererSéminaire Chocola à Lyon
2024-01-11Léonard GuettaConstruction de Grothendieck pour les omega-catégories strictes
2023-12-14Marianna Girlando & Sonia Marin, Paige Randall North, Lionel Vaux AuclairSéminaire Chocola à Lyon
2023-12-07Glynn WinskelSéminaire LSC: Glynn Winskel, Making concurrency functional
2023-11-30Guy McCuskerAlgebras in Relational Semantics
2023-11-23Rémy CerdaNominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary λ-Calculi
2023-11-16Cyril Cohen, Simon Forest, Morgan RogersSéminaire Chocola à Lyon
2023-11-09Antoine AlliouxHigher Structures in Homotopy Type Theory
2023-11-02Matteo Acclavio / Gianluca CurziSéminaire LSC : Matteo Acclavio / Gianluca Curzi, Infinitary cut elimination via finite approximations
2023-10-26Marc de VismeSéminaire LSC : Marc de Visme
2023-10-19Tom Hirschowitz, Alexandre Moine, Hugo PaquetSéminaire Chocola à Lyon
2023-10-12Pierre ClairambaultFrom Thin Concurrent Games to Relational Models
2023-10-05Lionel Vaux AuclairDans les réseaux de démonstration, on peut sauter à l’élastique en toute sécurité (et c’est la preuve de séquentialisation du LLHandbook)
2023-09-28Antoine Allioux, Lison Blondeau-Patissier, William SimmonsSéminaire Chocola à Lyon
2023-09-21Simon ForestLa bicatégorie cartésienne close des spans fins
2023-09-14Félix LoubatonDeux définitions alternatives des ω-catégories (et leurs généralisations homotopiques)
2023-06-29Lison Blondeau-PatissierStrategies as Resource Terms, and their Categorical Semantics
2023-06-29Étienne MiqueyConcurrent Realizability on Conjunctive Structures
2023-06-22Nguyễn Lê Thành DũngSimply typed β-convertibility is TOWER-complete even for safe λ-terms
2023-06-15Brede / Stefanesco / ZeilbergerSéminaire Chocola à Lyon
2023-06-06 Journées LHC et Métayer à Paris
2023-06-01Vincent MoreauProfinite lambda-terms and parametricity
2023-05-25Lionel Vaux AuclairCaractérisation de H* par le développement de Taylor extensionnel
2023-05-11 Vanoni / Lancelot / KerinecSéminaire Chocola à Lyon
2023-05-04Victor ArrialQuantitative inhabitation for different lambda calculi in a unifying framework
2023-04-20Marie KerjeanExponential functions and exponential connectives: turning the Taylor expansion into a monad
2023-03-30Dimitri AraThéorie de l'homotopie des ∞-catégories strictes (HDR Dimitri Ara)
2023-03-23Gabriele VanoniGabriele Vanoni - ANNULÉ
2023-03-09Peter DybjerGeneralized algebraic theories and categories with families
2023-03-02Rémy CerdaLa réduction des termes à ressources induit une extension conservative de la β-réduction sur les λ-termes
2023-02-09Lionel Vaux AuclairDéveloppement de Taylor extensionnel des λ-termes purs
2023-02-02Morgan RogersToposes for monoid actions for complexity theory
2023-01-26 Rencontre Chocola à Lyon
2023-01-12Félix CastroAn interpretation (by parametricity) of E-HA^ω inside HA^ω
2022-12-15Colin RibaA linear monadic second-order logic over omega-words
2022-12-01Giulio GuerrieriThe theory of call-by-value solvability
2022-11-17Cédric de LacroixFrobenius structure in star-autonomous categories
2022-11-10Mauricio GuillermoVers une formulation algébrique de la réalisabilité concurrente : un travail en cours
2022-10-20 Rencontre Chocola à Lyon
2022-09-29 Conférence en l’honneur de 60 ans de Thomas Ehrhard (Paris)
2022-09-15Léo StefanescoUn aperçu des modèles mémoires faiblement cohérents
2022-09-08Axel KerinecWhy Are Proofs Relevant in Proof-Relevant Models?
2022-07-07Victor BlanchiJeux concurrents et jeux de gabarits
2022-06-30Simon ForestUne méthode calculatoire pour les adjoints à gauche
2022-06-09WorkshopSequential algorithms and friends
2022-06-02 Chocola à Lyon
2022-05-19Félix LoubatonUnivalence dans la catégorie des catégories
2022-05-12Filippo BonchiDeconstructing Tarski's calculus of relations with Tape diagrams
2022-05-05 Chocola à Lyon
2022-03-31Chocola à Lyon
2022-03-24William TroianiProof nets, rings, and ideals
2022-03-17Paul-André MellièsLes jeux de gabarit, un modèle homotopique de la logique linéaire différentielle
2022-03-03Lê Thành Dũng NguyễnAutomates implicites en λ-calcul typé
2022-01-13Davide CattaSémantique des jeux pour la logique modale CK
2021-12-16Kostia ChardonnetGeometry of Interaction for ZX-Diagrams
2021-12-09Rémy CerdaDéveloppement de Taylor en λ-calcul infinitaire, suite
2021-11-25Rémy CerdaDéveloppement de Taylor en λ-calcul infinitaire
2021-11-18Ugo Dal LagoOn counting quantifiers and randomised computation
2021-11-18Paul-André MellièsTemplate games: a categorical combinatorics of scheduling and synchronisation
2021-09-30Boris ENGUne lecture technique de la syntaxe transcendantale
2021-09-16Lison Blondeau-PatissierInjectivité positionnelle pour les stratégies innocentes
2021-09-09Thomas EhrhardCoherent differentiation
2021-07-08Wesley FussnerSémantiques relationnelles et traductions modales pour Generalized Basic Logic
2021-06-24Pierre ClairambaultThe concurrent games abstract machine
2021-06-10Giulio GuerrieriGluing resource proof-structures: inhabitation and inverting the Taylor expansion
2021-05-27Guilhem JaberCompositional relational reasoning via operational game semantics
2021-04-29Ambroise Lafont Spécification mathématique de langages de programmation via les monades et leurs modules
2021-04-15Étienne MiqueyEvidenced frames: a unifying framework broadening realizability models
2021-04-01Giulio GuerrieriGluing resource proof-structures: inhabitation and inverting the Taylor expansion
2021-03-18Simon ForestUne extension du cadre de Batanin pour les catégories supérieures
2021-01-21Raphaëlle CrubilléOn higher-order cryptography - Raphaëlle Crubillé
2021-01-07Luidnel MaignanThe Bicategory of “Open Functors” and its Friends – Luidnel Maignan
2020-11-26Christine TassonA multicategorical approach to mixed linear-non-linear substitution - Christine Tasson
2020-11-12Lionel Vaux AuclairUn groupoïde d’arbres de permutations (suite)
2020-10-08Lionel Vaux AuclairUn groupoïde d’arbres de permutations
2020-07-02Peter HinesFinding Resolution in unexpected places: Girard's formula outside its usual setting
2020-02-13Thibaut BenjaminThéorie des types pour les oméga-catégories faibles
2019-12-05Mauricio GuillermoUn programme d'algebrisation pour la réalisabilité ? (annulé)
2019-11-28Léonard GuettaHomologie des infini-catégories strictes
2019-11-21Luigi SantocanaleOn discrete idempotent paths
2019-10-24Karoliina LehtinenQuasi-polynomial techniques for parity games and and other problems
2019-09-12Cyrille ChenavierSystèmes de réécriture topologiques appliqués aux bases standards et aux algèbres syntaxiques
2019-07-11Zeinab GalalRigid species and normal functors over groupoids
2019-07-04Pierre HyvernatChecking correctness for recursive definitions with mixed inductive and coinductive types
2019-06-20Charles GrelloisSur la terminaison des programmes probabilistes récursifs d'ordre supérieur
2019-05-23Aurore AlcoleiConcurrent Games with side-information
2019-05-02Marie KerjeanPolarized models of Differential Linear Logic
2019-04-25Raphaëlle CrubilléProbabilistic stable functions on discrete cones are power series
2019-03-29Guillaume GeoffroyRéalisabilité classique : nouveaux outils et applications
2019-03-28Thomas StreicherSimplicial into cubical
2019-03-21Luigi SantocanaleQuantales MIX *-autonomes et l'ordre faible continu
2019-03-07Lionel Vaux AuclairCombinatoire de l’élimination des coupures de MLL, et une application au développement de Taylor de MELL
2019-02-28Claudia FaggianLambda Calculus and Probabilistic Computation
2019-02-14Laura Fontanella, Guillaume GeoffroyUn modèle de réalisabilité pour une version faible de l'axiome du choix (∀α.AC_α)
2019-01-17Christophe LucasTowards a Proof Theory of the Riesz Modal Logic
2019-01-10Dimitri AraTitre à préciser - Dimitri Ara
2018-12-20Pierre VialNon idempotent typing, upper bounds and exact length in the lambda and in the lambda-mu-calculus
2018-12-06Victor ChepoiMatroïdes et leur graphes des bases
2018-11-29Luc PellissierLinear Implicative Algebras, towards a BHK interpretation of linear logic
2018-11-22Zeinab GalalConnecting models of differential linear logic with reloids
2018-10-11Thomas EhrhardSémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types
2018-10-04Giulio ManzonettoRevisiting Call-by-value Bohm trees in light of their Taylor expansion
2018-09-27Jules ChouquetUne 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-13Tito NguyenÉvaluation sémantique en logique linéaire élémentaire
2018-09-06Etienne MiqueyThe algebraic structure of classical realizability models
2018-07-05Valentin BlotExtensional and intensional semantic universes: a denotational model of dependent types
2018-06-28Dimitri AraJoint et tranches ∞-catégoriques
2018-06-21Maxime LucasHigher dimensional rewriting and cubical categories
2018-06-14Pierre ClairambaultThe true concurrency of Herbrand's theorem
2018-06-07Pierre VialRepresenting permutations without permutations, or the expressive power of sequence types
2018-04-26Andrea GagnaPetites catégories comme modèles des types d'homotopie
2018-04-19Alexis SaurinLogical by-need
2018-04-05Amina DoumaneCompleteness for identity-free Kleene lattices
2018-03-29Eduard BalzinLes familles de catégories en géométrie et algèbre
2018-03-08Andrea GagnaLes petites catégories comme modèles des types d'homotopie (2ème partie)
2018-02-22Assia MahboubiUne preuve assistée par ordinateur de l'irrationalité de zeta(3)
2018-02-15Giulio ManzonettoRefutation of Sallé's Longstanding Conjecture
2018-02-08Andrea GagnaLes petites catégories comme modèles des types d'homotopie
2018-01-25Zeinab GalalEspèces de structures et λ-calcul différentiel
2018-01-18Hadrien BatmallePréservation de propriétés du modèle de départ en réalisabilité classique
2018-01-11Michael PuschniggToute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8 (2ème partie)
2017-12-21Clovis EberhartUne théorie des modèles de jeux
2017-12-07Pierre PradicA realizability notion for MSO over ω
2017-11-30Olivier LaurentUne promenade entre logiques linéaires classiques et intuitionnistes
2017-11-23Michael PuschniggToute algèbre à division sur les réels est de dimension 1, 2, 4 ou 8
2017-11-16Maxime LucasLa géométrie cubique de la réécriture de dimension supérieure
2017-10-19Laura FontanellaGrands cardinaux et compacité
2017-09-28Patrick DehornoyLa théorie des ensembles cinquante ans après Cohen
2017-09-21Charles GrelloisTwo type-theoretic approaches to probabilistic termination
2017-06-22Victor ChepoiUn contre-exemple à la conjecture de Thiagarajan sur les structures d'évènements régulières
2017-06-15Luc PellissierLinear approximations, fibrations, intersection types
2017-05-30Simon HenryThéorie homotopique des types et modèles algébriques pour les infinis catégories et groupoïdes
2017-05-30Edoardo LanariGlobular models for weak higher dimensional structures
2017-05-23Matteo AcclavioSyntaxe et sémantique des diagrammes de preuve
2017-05-04Cyrille ChenavierOpérateurs de réduction et complétion de systèmes de réécriture linéaires
2017-03-30Tom HirschowitzShapely monads and analytic functors
2017-03-23Pierre VialThe complete unsoundness of coinductive intersection types (and how to escape it)
2017-03-21Gérard BerryLogique intuitionniste et stabilisation dans les circuits électroniques
2017-03-16Domenico Ruoppolo Relational graph models and observational theories
2017-03-02Anupam DasMonotonicity in Logic and Complexity
2017-02-16Rodolphe LepigreProofs of programs and subtyping in PML2
2017-02-02Claudia FaggianThe geometry of parallelism: probabilistic and quantum effects
2017-01-26Gabriel SchererDeciding simply-typed equivalence with sums and the empty type
2016-12-15Lorenzo Tortora de FalcoRemarques sur le développement de Taylor des réseaux
2016-12-14Willem HeijltjesConflict nets: Locally canonical MALL proof nets
2016-12-14Matteo AcclavioRéécriture de diagrammes : applications à la théorie des catégories et à la théorie de la démonstration - Matteo Acclavio
2016-12-08Antonino SalibraThe geometry of logic, algebra and computation
2016-11-24Matteo AcclavioDiagrammes de preuve pour la logique linéaire
2016-11-17Christophe RaffalliPractical Subtyping for System F
2016-11-03John GowersTransfinite games and the sequoidal exponential
2016-10-20Titouan CaretteEffectuses, land of probabilities
2016-10-06André JoyalAspects of 2-algebras: operads, bimodules and analytic functors
2016-09-29Fabio PasqualiOn some toposes of topological setoids
2016-09-15Thomas StreicherClassical realizability from relative realizability
2016-07-07Samuel MimramHomological computations for term rewriting systems
2016-06-30Pierre ClairambaultUne sémantique des jeux parallèle pour PCF
2016-06-02Guillaume GeoffroyModèles de réalisabilité classique par réalisateurs universels
2016-05-26Giulio GuerrieriAn untyped lambda-calculus generalizing Call-By-Name and Call-By-Value
2016-04-26Gilles DowekExpressing theories in the λΠ-calculus modulo theory and in the Dedukti system
2016-04-21Lionel Vauxβ-réduction et développement de Taylor
2016-03-31Lionel Vauxβ-réduction et développement de Taylor
2016-03-24Flavien BreuvartFrom hard work to trickery: a systematic approach of probabilistic rewriting
2016-03-17Myriam QuatriniCaractérisation des comportements de la Ludique
2016-03-03Hugo HerbelindPAω: a dependently-typed classical arithmetic in finite types which proves dependent choices
2016-02-25Giulio GuerrieriOpen Call-by-Value
2016-02-04Benjamin MonmegeLogics for Weighted Automata and Transducers
2016-01-28Lionel RiegVers un compilateur prouvé d'Esterel vers les circuits
2016-01-21Matteo AcclavioDiagrammes de cordes pour la représentation des réseaux de preuves
2016-01-07Daniel de CarvalhoLe modèle relationnel est injectif pour MELL
2015-12-10Luigi SantocanaleFixed-point elimination in the Intuitionisitic Propositional Calculus
2015-12-10Valentin BlotTyped realizability for first-order classical analysis
2015-11-26Yves GuiraudRéécriture linéaire et théorème de Squier pour les algèbres
2015-11-12Andrea GagnaQuillen's theorem A and categories as model for homotopy types
2015-10-15Colin RibaFibrations of Tree Automata
2015-10-08Eric HoffbeckUtilisation de catégories supérieures pour les résolutions d'algèbres
2015-09-24Guillaume GeoffroyL'instruction fork et le principe d'induction en réalisabilité classique
2015-07-09Yves LafontCalcul oriental
2015-07-02Etienne MiqueyRealizability games for the specification problem
2015-06-25Thomas LeventisUn résultat de full-abstraction pour les arbres de Böhm du lambda-calcul probabiliste
2015-06-18Fabio ZanasiInteracting Hopf algebras: the string diagrammatic theory of linear subspaces
2015-06-04Emmanuel BeffaraVers l'unification des systèmes de types pour processus mobiles
2015-05-28Olivier LaurentTreillis et extensions de la logique linéaire additive
2015-04-23Pierre HyvernatReprésentation des fonctions continues entre "streams" (& Co.) par des types de données
2015-03-26Jean-Louis KrivineBar recursion, sémantique dénotationnelle et réalisabilité classique
2015-03-19Thomas EhrhardTypes inductifs stricts et paresseux, du point de vue de la logique linéaire
2015-02-19Charles GrelloisA semantic study of higher-order model-checking
2015-01-29Michele BasaldellaUnary second-order propositional logic
2015-01-08Marie KerjeanTopologies faibles et logique linéaire
2014-12-15Jean-Baptiste MidezUne étude combinatoire du lambda-calcul avec ressources uniforme
2014-10-09Dimitri AraThéorie homotopique des n-catégories
2014-10-02Dimitri AraThéorie homotopique des n-catégories
2014-06-12Clément AubertProgrammation logique, unification et espace logarithmique
2014-04-25Laurent PoinsotSur le groupoïde de géométrie d'une variété équationnelle équilibrée
2014-04-18Marc LassonCanonicity of groupoids laws using parametricity theory
2014-04-18Philip ScottCoordinatizing MV algebras and AF C*-algebras by inverse monoids
2014-04-09Alejandro Díaz-CaroType theory modulo isomorphisms
2014-03-28Benoît ValironFinite Vector Spaces as Model of Simply-Typed Lambda-Calculi
2014-03-18Benedikt AhrensCategory theory in the Univalent Foundations
2014-02-10Giuseppe GrecoProof theory for dynamic logics
2014-02-06Paolo PistoneUne analyse philosophique et quelques résultats sur le typage
2014-01-30Pierre BoudesEspaces cohérents dans un cadre quantitatif
2014-01-23Jean-Baptiste MidezLa réduction dans le λ-calcul avec ressources
2014-01-16Alberto CarraroSemantical analysis of λ-calculus by (Differential) Linear Logic
2013-10-10Lionel RiegL'interprétation calculatoire du forcing en réalisabilité classique: l'exemple des arbres de Herbrand
Archive des exposés avant octobre 2013


Retour en haut 

Secured By miniOrange