Centre International de Rencontres Mathématiques Courses

New Modal Operators for Constructive Mathematics

Explore new modal operators in constructive mathematics, focusing on preorders, wellfounded relations, and positive extensions. Gain insights into reformulating concepts and applying novel approaches.

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

From Axioms to Synthetic Inference Rules via Focusing

Explore the connection between axioms and synthetic inference rules through focusing, as presented by Dale Miller in this mathematical conference talk.

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

Compact Ordinals in Homotopy Type Theory and Univalent Foundations - Lecture

Explore compact ordinals in Homotopy Type Theory and Univalent Foundations with Martín Escardó's in-depth mathematical lecture at CIRM's thematic meeting.

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

Recursive Inequalities in Applied Proof Theory

Explore recursive inequalities in applied proof theory, delving into advanced mathematical concepts and their practical applications.

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

On a Decomposition of WKL

Explore a mathematical decomposition of WKL!! with Takako Nemoto, delving into type theory, constructive mathematics, and geometric logics.

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

Animal Growth in a Randomly Varying Environment - An Application Study

Explore animal growth models in random environments, focusing on applications and mathematical analysis of population dynamics and ecology.

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

Towards Process-Based Comparative Models for Bridging Micro and Macroevolutionary Dynamics

Explorez les modèles comparatifs basés sur les processus pour relier la micro et la macroévolution. Découvrez les avancées en dynamique des populations mathématiques, écologie et évolution.

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

Cycles, Phase Analysis, and Synchronization in Ecological Populations - A Tale of Population Dynamics

Explore ecological population dynamics through cycles, phase analysis, and synchronization. Gain insights into predator-prey relationships, mathematical models, and data analysis techniques.

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

Anticipating Ecological Surprise: Resilience, Tipping Points, and Early-Warning Signals

Explore ecological surprises, resilience, tipping points, and early-warning signals in complex systems. Gain insights into anticipating and understanding sudden environmental changes.

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

Stochastic Dynamics for Adaptation and Evolution of Microorganisms

Explore stochastic dynamics in microorganism adaptation and evolution through mathematical modeling and population dynamics.

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

Derived Deformation Theory - Lecture 4

Explore advanced concepts in derived deformation theory through Barbara Fantechi's fourth lecture in this mathematical series.

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

Derived Deformation Theory - Lecture 3

Explore advanced concepts in derived deformation theory, focusing on key principles and applications in higher structures in geometry and mathematical physics.

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

Derived Deformation Theory - Lecture 2

Explore advanced concepts in derived deformation theory, building on previous knowledge and delving into complex mathematical principles.

• YouTube
• 1 hour 1 minute
• On-Demand
• Free Video

Derived Deformation Theory - Lecture 1

Explore derived deformation theory with Barbara Fantechi in this advanced mathematics lecture from CIRM's Audiovisual Mathematics Library.

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

Anosov Flows in 3 Dimensions and Anosov-like Actions - Part 1

Explore Anosov flows in 3D and Anosov-like actions through an in-depth mathematical lecture, featuring chapter markers and enriched content for enhanced learning.

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