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

Mathematics Inspired by Physics

Geometric Group Theory around Cube Complexes / La Théorie Geometrique des Groupes autour des Complexes Cubiques

Not Only Scalar Curvature Seminar

Journées GDR Analyse fonctionnelle harmonique et probabilités

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

Ensuring correctness of probabilistic inference by static analysis

Introduction to probabilistic programming

Applicative bisimulation for higher-order probabilistic languages