Centre International de Rencontres Mathématiques Courses

Coalescence Times of Ancestral Lineages in Two-Dimensional Logistic Branching

Explore coalescence times of ancestral lineages in two-dimensional logistic branching through a mathematical conference talk by Matthias Birkner.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

On the Spread of an Infection in a Host Population Distributed on Z - Lecture

Explore mathematical models of infection spread in host populations distributed on Z, focusing on stochastic processes in evolutionary biology.

• YouTube
• 40 minutes
• Self-Paced
• Free Video

Speciation Induced by Dormancy in a Model with Changing Environment

Explore mathematical models of speciation in changing environments, focusing on dormancy's role in evolutionary biology.

• YouTube
• 43 minutes
• Self-Paced
• Free Video

Differential Categories from Functor Calculus

Explore differential categories through functor calculus, delving into advanced mathematical concepts and their applications in category theory.

• YouTube
• 1 hour 6 minutes
• Self-Paced
• Free Video

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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• 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
• Self-Paced
• Free Video