Graph Theory Courses

Erwin Schrödinger International Institute for Mathematics and Physics (ESI)

Derivation of Phi 4 Over 3 Theory from Many-Body Quantum Mechanics

Explore the mathematical derivation of phi 4/3 theory from many-body quantum mechanics in this advanced physics lecture from ESI's quantum systems workshop.

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

Fields Institute

On the Euler Characteristic of the Commutative Graph Complex

Explore the Euler characteristic of commutative graph complexes through advanced mathematical analysis and geometric insights in this specialized mathematics lecture.

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

AI Institute at UofSC - #AIISC

A Neuro-Symbolic AI Framework for the Knowledge Graph Lifecycle

Discover a neuro-symbolic AI framework addressing Knowledge Graph lifecycle challenges, combining LLMs with declarative knowledge for mission-critical applications.

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

Topos Institute

A General Representability Theorem for Systems Theory - Part 3

Explore advanced categorical systems theory through David Jaz Myers' third lecture on general representability theorems in the Double Operadic Theory of Systems framework.

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

INI Seminar Room 2

NIM-reps in Boundary Rational Conformal Field Theory

Explore NIM-reps in boundary rational conformal field theory with Dr. Ana Ros Camacho from Universitat de València in this advanced mathematical physics seminar.

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

Institut des Hautes Etudes Scientifiques (IHES)

Łukasiewicz Logic and Tsallis Entropy Connected with Free Projections in Probability Theory

Explore advanced connections between Łukasiewicz logic, Tsallis entropy, and free projections in noncommutative probability theory through rigorous mathematical analysis.

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

Numberphile

The Graph Reconstruction Conjecture

Explore the fascinating Graph Reconstruction Conjecture through mathematical insights and visual explanations in this engaging mathematical journey.

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

Association for Computing Machinery (ACM)

FairWAG - Fairness-aware Weighted Aggregation for Graph Learning in a Federated Setting

Discover FairWAG, a novel approach combining fairness-aware weighted aggregation with graph learning in federated environments for equitable machine learning outcomes.

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

Harvard CMSA

Tame Geometry and Hodge Theory

Discover applications of o-minimality in complex geometry and Hodge theory through an expert introduction to tame geometric structures and their mathematical foundations.

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

Centre de recherches mathématiques - CRM

Combinatorics of Causal Set Theory

Explore how causal set theory applies combinatorics to quantum gravity, examining spacetime as locally finite posets and discovering new mathematical perspectives.

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

ACM SIGPLAN

A Practical Formalization of Monadic Equational Reasoning in Dependent-Type Theory

Explore practical formalization of monadic equational reasoning in dependent-type theory using Coq, covering effect hierarchies and algebraic laws for functional programming.

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

ACM SIGPLAN

Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern

Explore the Entity-Component-System pattern's formal model and deterministic concurrency opportunities in game development and beyond.

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

ACM SIGPLAN

Modeling Reachability Types with Logical Relations - Semantic Type Soundness, Termination, Effect Safety, and Equational Theory

Explore semantic modeling of reachability types using logical relations for memory safety, termination, and program equivalence in higher-level languages.

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

ACM SIGPLAN

GALA - A High Performance Graph Neural Network Acceleration Language and Compiler

Discover GALA, a domain-specific language and compiler for optimizing Graph Neural Network performance through novel intra- and inter-operator transformations, achieving 2.5x speedups.

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

ACM SIGPLAN

im2im - Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach

Discover im2im, a Python library that automates conversion between different in-memory image representations using knowledge graphs for seamless visual programming workflows.

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