Centre International de Rencontres Mathématiques Courses

An Introduction to Differential Linear Logic

Explore Differential Linear Logic fundamentals, key concepts, and applications in this comprehensive introduction by Marie Kerjean at CIRM's mathematical conference.

• YouTube
• 1 hour 18 minutes
• On-Demand
• Free Video

Differential Categories

Explorez les catégories différentielles et leur application en logique linéaire différentielle dans cette conférence mathématique approfondie.

• YouTube
• 1 hour 29 minutes
• On-Demand
• Free Video

Weighted Relational Models

Explore weighted relational models in differential λ-calculus and linear logic with Guy McCusker's insightful conference talk at CIRM.

• YouTube
• 58 minutes
• On-Demand
• Free Video

Böhm Trees and Taylor Expansion

Explore Böhm trees and Taylor expansion in lambda calculus, delving into their mathematical properties and applications in differential linear logic.

• YouTube
• 1 hour 32 minutes
• On-Demand
• Free Video

Poincaré Duality Fibrations and Graph Complexes

Explore Poincaré duality fibrations and graph complexes in advanced mathematics. Gain insights from Alexander Berglund's conference talk at CIRM's thematic meeting on higher algebra, geometry, and topology.

• YouTube
• 1 hour 2 minutes
• On-Demand
• Free Video

On Analytic Exponential Functors on Free Groups

Explore analytic exponential functors on free groups in this advanced mathematical lecture by Christine Vespa at CIRM's thematic meeting on higher algebra, geometry, and topology.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Equivariant Formality and Reduction

Explorez les concepts d'équivariance formelle et de réduction en mathématiques avancées avec Chiara Esposito dans cette conférence approfondie.

• YouTube
• 1 hour 9 minutes
• On-Demand
• Free Video

Stable Homology of Braid Groups with Symplectic Coefficients

Explore stable homology of braid groups with symplectic coefficients in this advanced mathematical lecture by Dan Petersen at CIRM's thematic meeting.

• YouTube
• 1 hour 5 minutes
• On-Demand
• Free Video

Higher Lie Theory in Positive Characteristic

Explore advanced concepts in Higher Lie theory for positive characteristic fields, delving into algebraic and geometric perspectives of this mathematical domain.

• YouTube
• 1 hour 3 minutes
• On-Demand
• Free Video

Sasha Borichev - A Short Sketch - Lecture

Explore Mikhail Sodin's tribute to mathematician Sasha Borichev, delving into his life, work, and contributions to the field of mathematics.

• YouTube
• 46 minutes
• On-Demand
• Free Video

The Norm of the Backward Shift Operator on H^1 is 2/√3

Explore the norm of the backward shift operator on H^1, proven to be 2/√3, in this mathematical conference talk by Kristian Seip at CIRM.

• YouTube
• 28 minutes
• On-Demand
• Free Video

The Matrix A2 Conjecture Fails, or 3/2... - Lecture

Explore Sergei Treil's disproof of the matrix A₂ conjecture, delving into mathematical intricacies and implications for analysis and operator theory.

• YouTube
• 43 minutes
• On-Demand
• Free Video

Geometry of Reproducing Kernels in Hilbert Spaces of Analytic Functions

Explore geometric properties of reproducing kernels in Hilbert spaces of analytic functions, focusing on their applications and implications in mathematical analysis.

• YouTube
• 39 minutes
• On-Demand
• Free Video

Schatten Class of Sobolev Embeddings and Oscillation of L^2 Basis

Explore Schatten class of Sobolev embeddings and oscillation speed of L^2 basis in this advanced mathematical lecture by Nikolai Nikolski at CIRM's thematic meeting.

• YouTube
• 42 minutes
• On-Demand
• Free Video

Spheres, Euler Classes and the K-Theory of C*-Algebras of Subproduct Systems

Explore spheres, Euler classes, and K-theory of C*-algebras in subproduct systems through Francesca Arici's insightful mathematical conference talk at CIRM.

• YouTube
• 49 minutes
• On-Demand
• Free Video