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
25
Jun
02
Jul
Événements passés
28
May
21
May
Minimum and Maximum lambda-Terms
Adrienne Lancelot (Università di Bologna)
The study of program preorders leads to more structure than that of program equivalences. Is it actually interesting in the case of the uneffectful lambda-calculus? [...]
07
May
Quantitative Diagrammatic Reasoning for Probabilistic Processes
Ralph Sarkis (University College London)
Algebraic structures and equational reasoning are fundamental tools in programming semantics since very early work in the field. The study of probabilistic programs poses several [...]
30
Apr
16
Apr
Tropical Geometry of Probabilistic Programming Languages
Davide Barbarossa (LIP, ENS Lyon)
I will discuss my last work with Paolo Pistone (ENS-Lyon), that we just presented at POPL. In the last few years there has been a [...]
09
Apr
Double Toposes
Félix Loubaton (I2M, Aix-Marseille)
One perspective on (Grothendieck) toposes is to view them as a place where we can perform a "set-like" theory. The question of identifying place to [...]
02
Apr
26
Mar
Une interprétation générale du Fan Theorem par réalisabilité
Titouan Leclercq (I2M, Aix-Marseille)
Le Fan Theorem (FT) de Brouwer est un résultat central en mathématiques constructives, qui établit une notion de continuité. Ce résultat n'est cependant par vrai [...]
19
Mar
Affine λ-transducers with additive branching
Lê Thành Dũng (Tito) Nguyễn (LIS, Aix-Marseille)
This talk will cover the equivalence in expressive power between two models of computation for tree-to-tree functions: tree-to-tree Hennie machines, a variant of linear-time Turing [...]
12
Mar
