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
20
Nov
Séminaire Chocola à Lyon
Marin, Walch, Wrigley
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-11-13/
27
Nov
11
Déc
Séminaire Chocola à Lyon
Cailler, Paquet, TBA
Détails ici : https://chocola.ens-lyon.fr/events/seminaire-2025-10-16/
18
Déc
Événements passés
01
Avr
Combinatorial proofs for classical and intuitionistic logic [Lirica]
Lutz Straßburger
(Séminaire de l’équipe Lirica au LIS) Combinatorial proofs, or “proofs without syntax”, form a graphical semantics of proof in various logics that is canonical yet [...]
27
Mar
Monotone weak distributive laws in categories of algebras [LSC]
Quentin Aristote
Within the study of the semantics of programming languages, computational effects may be modelled with monads, and weak distributive laws between monads are then a [...]
20
Mar
The E-base of finite semidistributive closure lattices [LSC]
Simon Vilmin
A (finite) closure space is a pair consisting of a (finite) ground set X and a closure operator on X. When ordered by inclusion, the [...]
13
Mar
Séminaire Chocola à Lyon
Barrett, di Lavore, Fernandez
Voir: https://chocola.ens-lyon.fr/events/meeting-2025-03-13/.
06
Mar
Slightly Non-Linear Higher-Order Tree Transducers
Lê Thành Dũng (Tito) Nguyễn
We investigate the tree-to-tree functions computed by "affine λ-transducers": tree automata whose memory consists of an affine λ-term instead of a finite state. They can [...]
27
Fév
Graphes existentiels, calcul floral, théorie des topes [LSC]
Pablo Donato
Traditionnellement, la théorie de la démonstration s'est établie comme une branche de la logique symbolique: elle incarne par excellence l'idéal hilbertien selon lequel tout concept [...]
13
Fév
Méthodes calculatoires en théorie des catégories
Simon Forest
La théorie des catégories peut sembler peu compatible avec des calculs informatiques. En effet, elle fait intervenir des objets comme des catégories et des foncteurs, [...]
06
Fév
Séminaire Chocola à Lyon
Hsu, Katsumata, Maestracci
Voir: https://chocola.ens-lyon.fr/events/meeting-2025-02-06/.
30
Jan
Higher-Dimensional Automata Theory [LSC]
Uli Fahrenberg
Higher-dimensional automata (HDAs) provide a general and automata-like model for non-interleaving concurrency. Some years ago we have set out to create a proper automata theory [...]
23
Jan
Le λ-calcul est quantifiable
Valentin Maestracci
Sur la base de l’article The Lambda Calculus is Quantifiable à CSL 2025 avec Paolo Pistone : We introduce several quantitative methods for the lambda-calculus [...]
