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

Organizer(s) Tortora de Falco, Lorenzo ; Vaux Auclair, Lionel
Date(s) 24/01/2022 - 28/01/2022
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

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Multidimensional symbolic dynamics and lattice models of quasicrystals / Dynamique symbolique multidimensionnelle et modèles de quasi-cristaux sur réseau

Not Only Scalar Curvature Seminar

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

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

Complex analysis in Lean

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Stone duality and its formalization

Working with Mathlib

Point-Counting and the Zilber-Pink Conjecture (4/4)

Complex analysis in Lean

Finite Type Properties of (Tame) Fundamental Groups

Stone duality and its formalization

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib