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
30
Apr
07
May
21
May
28
May
Événements passés
Toposes for monoid actions for complexity theory
Morgan Rogers (LIPN, Université Sorbonne Paris Nord)
This talk has three parts. First, I want to explain how common models of computation can be presented as monoid acts, which motivates the perspective [...]
An interpretation (by parametricity) of E-HA^ω inside HA^ω
Félix Castro (IRIF, Paris Cité)
HA^ω (Higher Type Arithmetic) is a first order many sorted theory. It is a conservative extension of HA (Heyting Arithmetic a.k.a the intuitionistic version of Peano Arithmetic) obtained by extending the syntax of terms to [...]
A linear monadic second-order logic over omega-words
Colin Riba (LIP, ÉNS Lyon)
(j.w.w. P. Pradic) We present LMSO, a linear logic-based variant of MSO over omega-words. LMSO can be seen as a logical syntax for a Curry-Howard-Lambek-like [...]
The theory of call-by-value solvability
Giulio Guerrieri (LIS, Aix-Marseille Université)
The semantics of the untyped (call-by-name) lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many [...]
Frobenius structure in star-autonomous categories
Cédric de Lacroix (LIS, Aix-Marseille Université)
It is known that the quantale of sup-preserving maps from a complete lattice to itself is a Frobenius quantale if and only if the lattice [...]
Vers une formulation algébrique de la réalisabilité concurrente : un travail en cours
Mauricio Guillermo (Universidad de la República de Uruguay)
Nous présentons quelques résultats du projet STIC-AmSud "An Algebrization Program for Concurrent Realizability". Dans une première partie nous exposons comme point de départ la Réalisabilité [...]
Rencontre Chocola à Lyon
( )
Voir https://chocola.ens-lyon.fr/events/meeting-2022-10-20/ . Rencontre, 20 October 2022 We will be in Amphi B, 3rd floor, Monod site of the ENSL. Programme 10:30 – 12:00 [...]
29
Sep
Conférence en l’honneur de 60 ans de Thomas Ehrhard (Paris)
( )
Voir https://te60.linear-logic.org/ .
Un aperçu des modèles mémoires faiblement cohérents
Léo Stefanesco (Max Planck Institute for Software Systems)
Le modèle le plus couramment utilisé pour étudier les programmes concurrents est celui de la cohérence séquentielle (SC), où les opérations des différents processus sont [...]
