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

Organizer(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 1/24/22 - 1/28/22
linked URL https://conferences.cirm-math.fr/2685.html

All the collection videos (6)

01:44:57

published on February 14, 2022

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

By Jean-Yves Girard

31:21

published on February 14, 2022

Taylor expansion, at work

By Giulio Manzonetto

34:22

published on February 14, 2022

Heterodox exponential modalities in linear logic

By Damiano Mazza

28:43

published on February 14, 2022

Focused proof systems

By Dale Miller

28:47

published on February 14, 2022

Program semantics with token passing

By Koko Muroya

24:39

published on February 14, 2022

Differential linear logic extended to differential operators

By Marie Kerjean

Mathematics
and Interactions

Dustin Clausen and Peter Scholze : Analytic Stacks

Not Only Scalar Curvature Seminar

XVII International Luminy Workshop in Set Theory / XVII Atelier International de Théorie des Ensembles

Maxim Kontsevich : Birational Invariants from Gromov-Witten Theory

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

Forcing over determinacy

A journey guided by the stars

Large minimal non-sigma-scattered linear orders

The Borel complexity of the space of left-orderings

Generic absoluteness for the definable powerset of the universally Baire sets

Ricci curvature, fundamental group and the Milnor conjecture (II)

Ricci curvature, fundamental group and the Milnor conjecture (I)

Analytic Stacks (14/29)

Analytic Stacks (15/29)

Combinatorial topological quantum field theories and geometrical constructions of integers in finite group representation theory