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
15
Mai
Séminaire Chocola
Daniel Gratzer, Elies Harington, Hiroshi Unno
Voir https://chocola.ens-lyon.fr/events/meeting-2025-05-15/
Événements passés
Shapely monads and analytic functors
Tom Hirschowitz
In this work, we give precise mathematical form to the idea of a structure whose data and axioms are faithfully represented by a graphical calculus; [...]
The complete unsoundness of coinductive intersection types (and how to escape it)
Pierre Vial
Certain type assignment systems are known to guarantee or characterize normalization. The grammar of the types they feature is usually inductive. It is easy to [...]
Logique intuitionniste et stabilisation dans les circuits électroniques
Gérard Berry
Principe de la logique intuitionniste : au lieu de résoudre des équations logiques, se contenter de propager des faits prouvés. Médaille d’or 2014 du CNRS
Relational graph models and observational theories
Domenico Ruoppolo
On présente les modèles de graphes relationnels (rgm), une sous-classe des modèles relationnels du lambda-calcul pur (les objects réflexifs dans la catégorie cartésienne fermée MRel [...]
Monotonicity in Logic and Complexity
Anupam Das
Monotonicity is a fundamental notion in mathematics and computation. For usual real-valued functions R → R this simply corresponds to the notion that a function [...]
Proofs of programs and subtyping in PML2
Rodolphe Lepigre
PML2 is an ML style programming language that has the peculiarity of embedding an equational theory over its own programs, into its type system. This [...]
The geometry of parallelism: probabilistic and quantum effects
Claudia Faggian
What become the notions of confluence and convergence when a parallel rewrite system has both a probabilistic choice and the possibility of non-termination? We present [...]
Deciding simply-typed equivalence with sums and the empty type
Gabriel Scherer
The simply-typed λ-calculus, with only function types, is strongly normalizing, and its program equivalence relation is decidable: unlike in more advanced type system with polymorphism [...]
15
Déc
Remarques sur le développement de Taylor des réseaux
Lorenzo Tortora de Falco
A l’occasion de la soutenance de thèse de Matteo Acclavio la veille. http://logica.uniroma3.it/~tortora/
Conflict nets: Locally canonical MALL proof nets
Willem Heijltjes
A l’occasion de la soutenance de thèse de Matteo Acclavio l’après-midi. Proof nets capture the semantic and/or computational content of linear logic in a clean [...]
