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
12
Fév
Is typed realizability only predicative?
Félix Castro (I2M, Aix-Marseille)
In Kleene realizability, formulas are interpreted as sets of (untyped) programs. This approach allows for a sound interpretation of Higher-Order Logic (HOL): it leads to [...]
19
Fév
Ohana trees, Taylor expansion and multi-type semantics for the λI-calculus. No variable gets left behind or forgotten!
Rémy Cerda (Università di Bologna)
The standard notion of evaluation trees for the λ-calculus, namely Böhm trees, is quite ill-behaved with respect to the inputs of programs, namely free variables: [...]
Événements passés
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 (LIS, Aix-Marseille)
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 (Istituto Grothendieck)
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 (I2M, Aix-Marseille Université)
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 (EPITA Rennes)
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 (I2M, Aix-Marseille Université)
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 [...]
19
Déc
Qu’est ce qu’un foncteur polynomial et à quoi ça sert? (3/3)
Christine Vespa (I2M, Aix-Marseille Université)
Cet exposé est une introduction à la notion de foncteur polynomial introduite par Eilenberg et MacLane dans les années 1950, comme étant une généralisation des [...]
12
Déc
Partial Markov Categories [LSC]
Mario Román (Oxford)
Partial Markov categories are a careful blend of Markov categories (from categorical probability theory) and cartesian restriction categories (from the algebraic theory of partial computations). [...]
06
Déc
Coalgebraic causal processes [LSC]
Elena Di Lavore (Pisa)
Effectful streams are a coinductive semantic universe for effectful dataflow programs. Under some conditions, effectful streams generalise causal stream functions, which are classically known to [...]
