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

Not Only Scalar Curvature Seminar

Geometric structures and discrete group actions / Structures géométriques et actions de groupes discrets

Misha Gromov : Mathematical Description of Biological Structures

Applications of NonCommutative Geometry to Gauge Theories, Field Theories, and Quantum Space-Time / Applications de la Géométrie Non Commutative aux Théories de Jauge, à la Théorie des Champs et aux Espaces-Temps Quantiques

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

Meta-complexity - Lecture 3

Meta-complexity - Lecture 2

Meta-complexity - Lecture 1

Topics in Nonlinear Functional Analysis (1/4)

Topics in Nonlinear Functional Analysis (2/4)