Logique et Interactions

Évènements à venir

2020-03-19Carlos SIMPSON - Séminaire LDP (TBA)
Descriptif
Nature Séminaire et Groupe de travail
Responsable Lionel VAUX AUCLAIR
Équipe de rattachement Logique de la Programmation (LDP)
Groupe Arithmétique Géométrie Logique et Représentations (AGLR)
Fréquence 1 à 2 séances par mois
Jour-Horaire Jeudi. 11h-12h30
Lieu Luminy, salle des séminaires 304-306 (accès)
Réservation salle https://rooms.i2m.univ-amu.fr
Lien http://iml.univ-mrs.fr/ldp/seminaire/

Contact : lionel.vaux_at_univ-amu.fr

Évènements passés

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

Commencez à saisir votre recherche ci-dessus et pressez Entrée pour rechercher. ESC pour annuler.

Secured By miniOrange