Graph Theory Courses

Hausdorff Center for Mathematics

On a Multi-Species Kinetic Model of Plasma, Theory and Numerics

Explore a new multi-species kinetic model for plasma, examining its theoretical properties and numerical solutions in the context of inertial confinement fusion.

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

Hausdorff Center for Mathematics

Kinetic Theory of Social Phenomena I

Explore statistical mechanics of multi-agent systems to explain distributions in human activities, focusing on skewed distributions in economics and social sciences.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Hausdorff Center for Mathematics

Scaling Limits and Effective Equations in Kinetic Theory I

Explores scaling limits and effective equations in kinetic theory, focusing on Boltzmann and Landau equations for rarefied gases and weakly interacting plasmas, discussing mathematical challenges in rigorous derivation.

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

Hausdorff Center for Mathematics

Edgard Pimentel - Regularity Theory for Nonlinear PDEs

Explore recent developments in regularity theory for nonlinear PDEs, covering compactness, stability, and scaling arguments. Learn about fully nonlinear PDEs, Isaacs equation, and free boundary problems.

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

Hausdorff Center for Mathematics

Erik Palmgren: From Type Theory to Setoids and Back

Exploring setoids in constructive mathematics, their implementation in proof assistants, and their role in formalizing Bishop-style mathematics and Martin-Löf type theory models.

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

Hausdorff Center for Mathematics

Two Constructive Approaches to Probability Theory

Explores constructive approaches to probability theory, comparing frequentist and pointfree metric methods with classical Kolmogorov axioms and other paradigms in mathematics.

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

Hausdorff Center for Mathematics

Constructive Mathematics in Univalent Type Theory

Explore constructive mathematics within univalent type theory, delving into advanced concepts and their applications in modern mathematical foundations.

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

Hausdorff Center for Mathematics

Derived Rules in Set Theory

Explore intuitionistic set theories and learn about a general machinery for demonstrating derived rules in this advanced mathematical lecture.

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

Hausdorff Center for Mathematics

Refinement Type Systems and Martin Lof Type Theory

Explores refinement type systems, their connection to Martin-Lof type theory, and various notions of comprehension. Discusses recent work on functors as type refinement systems and Isbell duality theorem.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

Hausdorff Center for Mathematics

Erik Palmgren: A Constructive Examination of a Russell Style Ramified Type Theory

Exploration of ramified type theory in Martin-Löf type theory, examining functional reducibility and its applications in constructive mathematical analysis. Introduces an intuitionistic ramified type theory.

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

Hausdorff Center for Mathematics

Proof Theory for Quantified Monotone Modal Logics

Explores proof-theoretic aspects of quantified non-normal modal logics, introducing labelled sequent calculi and examining their properties, completeness, and applications to neighborhood frames.

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

Hausdorff Center for Mathematics

First Order Concatenation Theory vs First Order Number Theory

Comparative analysis of first-order concatenation theory and number theory, exploring similarities, differences, and extensions with bounded quantifiers in string-based structures.

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

Hausdorff Center for Mathematics

Hugo Herbelin- Investigations into Cubical Type Theory

Exploration of a variant of cubical type theory with type-based equality, direct coercion, and primitive composition, aiming for a parametricity translation to identity type theory.

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

Hausdorff Center for Mathematics

Johannes Brödel- From Elliptic Multiple Zeta Values to Modular Graph Functions

Explore the connection between elliptic multiple zeta values and modular graph functions in this advanced mathematics lecture by Johannes Brödel.

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

Hausdorff Center for Mathematics

Modular Graph Functions and Non Holomorphic Modular Forms

Explore non-holomorphic modular forms in string theory, their properties, and connections to mixed motives and L-functions. Gain insights into advanced mathematical concepts in physics.

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