Video - Heidelberg Laureate Forum

Lecture: A personal journey into the world of mathematics

Lecture: Grand Challenges in AI: Unfinished Agenda

Lecture: New Ways of Thinking of the Mobile Phone for Healthcare

Shwetak N. Patel

Lecture: Automatic Step-Size Control for Minimization Iterations

William Morton Kahan

Lecture: Research in Deep Learning

John E. Hopcroft

Lecture: The Mathematics of the Heart Beat

Lecture: The Technological Imperative for Ethical Evolution

Lecture: Concurrent Connected Components Algorithms

Robert Endre Tarjan

Lecture: Can We Trust Autonomous Systems? Boundaries and Risks

Lecture: What are the Computational Challenges for Cortex?

Leslie G. Valiant

Lindau Lecture (Edvard Moser): Space and time: Internal dynamics of the brain’s…

Turing Lecture: Deep Learning for AI

Opening Ceremony 7th HLF

Lecture: Ingredients for Successful Research

Lecture: Equilibria, Fixed Points, and Computational Complexity: from von…

Constantinos Daskalakis

Lecture: Random perturbations of Euclidean Geometry

Wendelin Werner

Lecture: Autonomous Systems – A Rigorous Architectural Characterization

Lecture: On the early history of expanders

Gregory Margulis

Lecture: Algebra, Logic, Geometry at the Foundation of Computer Science

C. Antony R. Hoare

Lecture: A New Golden Age for Computer Architecture

David A. Patterson

Lecture: ALGORAND – The Truly Distributed Ledger

Lecture: From Algebra to Geometry

Lindau Lecture (William D. Phillips): Time, Einstein and the coolest stuff in…

Lecture: Big Data, Technological Disruption and the 800 Pound Gorilla in the…

Michael Stonebraker

Lecture: If You're Not Writing a Program, Don't Use a Programming…

Lecture: An Introduction to AI and Deep Learning

John E. Hopcroft

Lecture: The Riemann Hypothesis

Michael Francis Atiyah

Opening Ceremony 6th HLF

Lecture: Perspectives on Turing

Lecture: Where Computer Science Meets Neuroscience

Leslie G. Valiant

Lecture: An Interplanetary Internet

Vinton Gray Cerf

Lecture: The Discrete and the Continuous from James Clerk Maxwell to Alan Turing

Michael Francis Atiyah

Lecture: Asymptotic Group Theory

Lecture: Can a Machine be Conscious? Towards a Computational Model of…

Lecture: Mathematical Theories of Communication: Old and New

Lecture: Curious Facts About Nested Canalyzing Functions

Richard Edwin Stearns

Lecture: Deep Learning and the Grand Engineering Challenges

Jeffrey A. Dean

Lecture: How Much Hard is System Design?

Lecture: How to Write a 21st Century Proof

Lecture: Self-Supervised Visual Learning and Synthesis

Lecture: Deep Learning Research

John E. Hopcroft

Lecture: The mathematics of randomness

Lecture: Approximate Elimination

Daniel Spielman

Lindau Lecture (Aaron Ciechanover):The Personalized Medicine Revolution: Are We…

Lecture: The Evolution of Public Key Cryptography

Opening Ceremony 5th HLF

Lecture: Binary Search Tree

Robert Endre Tarjan

Lecture: Resolution of Singularities in Algebraic Geometry

Heisuke Hironaka

Lecture: A finite geometric representation of computer program behaviour

C. Antony R. Hoare

Lecture: The power of abstraction

Lecture: The PlusCal Algorithm Language

Lecture: UniMath

Vladimir Voevodsky

Lecture: Strategies for Extensive Form Games

Richard Edwin Stearns

Lecture: Too Much Information and Too Little Time

Lecture: What Makes the Illusion Work? Studies in Effective Immersive Virtual…

Frederick Brooks

Lecture: The Riemann zeta function and its generalizations

Bảo Châu Ngô

Lecture: On the Nature of Computing

Lecture: Equations in arithmetic

Andrew John Wiles

Lindau Lecture (Brian Schmidt): State of the Universe

Lecture: The Soluble and the Insoluble

Michael Francis Atiyah

Lecture: Exciting Computer Science Research Directions

John E. Hopcroft

Opening Ceremony 4th HLF

Lecture: Holographic Algorithms

Leslie G. Valiant

Lecture: Entropy and its many Avatars

Srinivasa S. R. Varadhan

Lecture: Quantum Computing: A Great Science in the Making

Lecture: Science versus Philosophy

Lecture: The Shifting Method

Endre Szemerédi

Lecture: Strata in Complex Analysis

Leonard Max Adleman

Lecture: Hints and Principles for Computer System Design

Butler W. Lampson

Lecture: Understanding self-timed systems

Ivan Sutherland

Lecture: A Personal History of Computers

Frederick Brooks

Lecture: UniMath

Vladimir Voevodsky

Lecture: Pioneers of Computer Science: Aristotle and Euclid

C. Antony R. Hoare

Lecture: A compelling Desire to do Mathematics

Lecture: A Mathematical View of Computer Systems

Lecture: Human Computation

Lindau Lecture (Stefan Hell): Optical Microscopy: the Resolution Revolution

Opening Ceremony 3rd HLF

Lecture: Model Checking Hybrid Systems

Edmund Melson Clarke

Lecture: The path from Laplacian matrices to the Kadison-Singer problem

Daniel Spielman

Lecture: Infinite Groups

Lecture: Computer Science in the Information Age

John E. Hopcroft

Lecture: Diophantine Equations

Lecture: Regularity versus chaos in area preserving maps

Jean-Christophe Yoccoz

Lecture: Algebraic geometry vs. impressionism paintings

Lecture: Data Structures

Robert Endre Tarjan

Lecture: Rational points on elliptic and hyperelliptic curves

Manjul Bhargava

Lecture: How to write a 21st Century Proof

Lecture: Number theory and the Langlands program

Bảo Châu Ngô

Lecture: On Digital Preservation

Vinton Gray Cerf

Lecture: Taming infinities

Lecture: Is Computing a Science?

Lecture: Desperately Needed Remedies for the Undebuggability of Large…

William Morton Kahan

Lecture: Randomness, continuum and complex analysis

Wendelin Werner

Lecture: Toward a Theory of Humanly Computable Protocols

Lecture: Beauty in Mathematics

Michael Francis Atiyah

Opening Ceremony 2nd HLF

Lecture: Future Directions in Computer Science Research

John E. Hopcroft

Lecture: Hints and Principles for Computer System Design

Butler W. Lampson

Lecture: Putting Turing to Work

Lecture: Scaling Limits

Srinivasa S. R. Varadhan

Lecture: Miracles of Cryptography, Preventing Collusion in Auctions

Michael O. Rabin

Lecture: Univalent Foundations of Mathematics

Vladimir Voevodsky

Lecture: System Design Science

Lecture: Desperately Needed Remedies for the Undebuggability of Large-Scale…

William Morton Kahan

Lecture: The Computational Lens on the Sciences

Richard Manning Karp

Lecture: Reliable Meaningful Communication

Lecture: Advice to a Young Mathematician

Michael Francis Atiyah

Lecture: Rational Proofs

Lecture: Randomness

Lecture: Learning as the Source of Life's Phenomena

Leslie G. Valiant

Lecture: Model Checking and the Curse of Dimensionality

Edmund Melson Clarke

Lecture: Protein Folding

Lecture: Billiards and Moduli Spaces

Curtis T. McMullen

Lecture: Who invented the Computer: Babbage, Atanasoff, Zuse, Turing or von…

Opening Ceremony 1st HLF