Collection Linear Logic Winter School / École d'hiver de logique linéaire

Organisateur(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
URL associée https://conferences.cirm-math.fr/2685.html

Toutes les vidéos de la collection (6)

01:44:57

publiée le 14 février 2022

Deux ou trois choses que je sais d'elle : la logique

De Jean-Yves Girard

31:21

publiée le 14 février 2022

Taylor expansion, at work

De Giulio Manzonetto

34:22

publiée le 14 février 2022

Heterodox exponential modalities in linear logic

De Damiano Mazza

28:43

publiée le 14 février 2022

Focused proof systems

De Dale Miller

28:47

publiée le 14 février 2022

Program semantics with token passing

De Koko Muroya

24:39

publiée le 14 février 2022

Differential linear logic extended to differential operators

De Marie Kerjean

Mathématiques
et Interactions

Inter'Actions 2015 - colloque pour les doctorants en mathématiques en France

Mikhail Gromov : Generation, Transformation, Transmission, Memorization, Storage and Expression of Information From Cell to LLM : Signals, Structures, Knowledge and Learning

Not Only Scalar Curvature Seminar

Composition operators and Banach spaces theory / Opérateurs de composition et espaces de Banach

Collection Linear Logic Winter School / École d'hiver de logique linéaire

Deux ou trois choses que je sais d'elle : la logique

Taylor expansion, at work

Heterodox exponential modalities in linear logic

Focused proof systems

Program semantics with token passing

Differential linear logic extended to differential operators

Probabilistic Modal Logics (1/4)

Probabilistic Modal Logics (2/4)

Probabilistic Modal Logics (3/4)

Probabilistic Modal Logics (4/4)

[1246] The model theory of perfectoid fields