HLFF
HLF
MAINS
Newsroom
Press
News
ALL
HLFF
HLF
MAINS
Press Photos
Lectures
Blog
Contact
Lecture Videos
2013 - today
Year: 2019
Lecture: A personal journey into the world of mathematics
Caucher Birkar
more
Year: 2019
Lecture: Grand Challenges in AI: Unfinished Agenda
Raj Reddy
more
Year: 2019
Lecture: New Ways of Thinking of the Mobile Phone for Healthcare
Shwetak N. Patel
more
Year: 2019
Lecture: Automatic Step-Size Control for Minimization Iterations
William Morton Kahan
more
Year: 2019
Lecture: Research in Deep Learning
John E. Hopcroft
more
Year: 2019
Lecture: The Mathematics of the Heart Beat
Stephen Smale
more
Year: 2019
Lecture: The Technological Imperative for Ethical Evolution
Martin Hellman
more
Year: 2019
Lecture: Concurrent Connected Components Algorithms
Robert Endre Tarjan
more
Year: 2019
Lecture: Can We Trust Autonomous Systems? Boundaries and Risks
Joseph Sifakis
more
Year: 2019
Lecture: What are the Computational Challenges for Cortex?
Leslie G. Valiant
more
Year: 2019
Lindau Lecture by Edvard Moser: Space and time: Internal dynamics of the brain’s…
more
Year: 2019
Turing Lecture: Deep Learning for AI
Yoshua Bengio
more
Year: 2019
Opening Ceremony 7th HLF
more
Year: 2018
Lecture: Ingredients for Successful Research
Martin Hellman
more
Year: 2018
Lecture: Equilibria, Fixed Points, and Computational Complexity: from von…
Constantinos Daskalakis
more
Year: 2018
Lecture: Random perturbations of Euclidean Geometry
Wendelin Werner
more
Year: 2018
Lecture: Autonomous Systems – A Rigorous Architectural Characterization
Joseph Sifakis
more
Year: 2018
Lecture: On the early history of expanders
Gregory Margulis
more
Year: 2018
Lecture: Algebra, Logic, Geometry at the Foundation of Computer Science
C. Antony R. Hoare
more
Year: 2018
Lecture: A New Golden Age for Computer Architecture
David A. Patterson
more
Year: 2018
Lecture: ALGORAND – The Truly Distributed Ledger
Silvio Micali
more
Year: 2018
Lecture: From Algebra to Geometry
Caucher Birkar
more
Year: 2018
Lindau Lecture by William D. Phillips: Time, Einstein and the coolest stuff in…
more
Year: 2018
Lecture: Big Data, Technological Disruption and the 800 Pound Gorilla in the…
Michael Stonebraker
more
Year: 2018
Lecture: If You're Not Writing a Program, Don't Use a Programming…
Leslie Lamport
more
Year: 2018
Lecture: An Introduction to AI and Deep Learning
John E. Hopcroft
more
Year: 2018
Lecture: The Riemann Hypothesis
Michael Francis Atiyah
more
Year: 2018
Opening Ceremony 6th HLF
more
Year: 2017
Lecture: Perspectives on Turing
Stephen Smale
more
Year: 2017
Lecture: Where Computer Science Meets Neuroscience
Leslie G. Valiant
more
Year: 2017
Lecture: An Interplanetary Internet
Vinton Gray Cerf
more
Year: 2017
Lecture: The Discrete and the Continuous from James Clerk Maxwell to Alan Turing
Michael Francis Atiyah
more
Year: 2017
Lecture: Asymptotic Group Theory
Efim Zelmanov
more
Year: 2017
Lecture: Can a Machine be Conscious? Towards a Computational Model of…
Manuel Blum
more
Year: 2017
Lecture: Mathematical Theories of Communication: Old and New
Madhu Sudan
more
Year: 2017
Lecture: Curious Facts About Nested Canalyzing Functions
Richard Edwin Stearns
more
Year: 2017
Lecture: Deep Learning and the Grand Engineering Challenges
Jeffrey A. Dean
more
Year: 2017
Lecture: How Much Hard is System Design?
Joseph Sifakis
more
Year: 2017
Lecture: How to Write a 21st Century Proof
Leslie Lamport
more
Year: 2017
Lecture: Self-Supervised Visual Learning and Synthesis
Alexei Efros
more
Year: 2017
Lecture: Deep Learning Research
John E. Hopcroft
more
Year: 2017
Lecture: The mathematics of randomness
Martin Hairer
more
Year: 2017
Lecture: Approximate Elimination
Daniel Spielman
more
Year: 2017
Lindau Lecture by Aaron Ciechanover: The Personalized Medicine Revolution: Are…
more
Year: 2017
Lecture: The Evolution of Public Key Cryptography
Martin Hellman
more
Year: 2017
Opening Ceremony 5th HLF
more
Year: 2016
Lecture: Binary Search Tree
Robert Endre Tarjan
more
Year: 2016
Lecture: Resolution of Singularities in Algebraic Geometry
Heisuke Hironaka
more
Year: 2016
Lecture: A finite geometric representation of computer program behaviour
C. Antony R. Hoare
more
Year: 2016
Lecture: The power of abstraction
Barbara Liskov
more
Year: 2016
Lecture: The PlusCal Algorithm Language
Leslie Lamport
more
Year: 2016
Lecture: UniMath
Vladimir Voevodsky
more
Year: 2016
Lecture: Strategies for Extensive Form Games
Richard Edwin Stearns
more
Year: 2016
Lecture: Too Much Information and Too Little Time
Raj Reddy
more
Year: 2016
Lecture: What Makes the Illusion Work? Studies in Effective Immersive Virtual…
Frederick Brooks
more
Year: 2016
Lecture: The Riemann zeta function and its generalizations
Bảo Châu Ngô
more
Year: 2016
Lecture: On the Nature of Computing
Joseph Sifakis
more
Year: 2016
Lecture: Equations in arithmetic
Andrew John Wiles
more
Year: 2016
Lindau Lecture by Brian Schmidt: State of the Universe
more
Year: 2016
Lecture: The Soluble and the Insoluble
Michael Francis Atiyah
more
Year: 2016
Lecture: Exciting Computer Science Research Directions
John E. Hopcroft
more
Year: 2016
Opening Ceremony 4th HLF
more
Year: 2015
Lecture: Holographic Algorithms
Leslie G. Valiant
more
Year: 2015
Lecture: Entropy and its many Avatars
Srinivasa S. R. Varadhan
more
Year: 2015
Lecture: Quantum Computing: A Great Science in the Making
Andrew C. Yao
more
Year: 2015
Lecture: Science versus Philosophy
Peter Naur
more
Year: 2015
Lecture: The Shifting Method
Endre Szemerédi
more
Year: 2015
Lecture: Strata in Complex Analysis
Leonard Max Adleman
more
Year: 2015
Lecture: Hints and Principles for Computer System Design
Butler W. Lampson
more
Year: 2015
Lecture: Understanding self-timed systems
Ivan Sutherland
more
Year: 2015
Lecture: A Personal History of Computers
Frederick Brooks
more
Year: 2015
Lecture: UniMath
Vladimir Voevodsky
more
Year: 2015
Lecture: Pioneers of Computer Science: Aristotle and Euclid
C. Antony R. Hoare
more
Year: 2015
Lecture: A compelling Desire to do Mathematics
Shigefumi Mori
more
Year: 2015
Lecture: A Mathematical View of Computer Systems
Leslie Lamport
more
Year: 2015
Lecture: Human Computation
Manuel Blum
more
Year: 2015
Lindau Lecture by Stefan Hell: Optical Microscopy: the Resolution Revolution
more
Year: 2015
Opening Ceremony 3rd HLF
more
Year: 2015
Lecture: Model Checking Hybrid Systems
Edmund Melson Clarke
more
Year: 2014
Lecture: The path from Laplacian matrices to the Kadison-Singer problem
Daniel Spielman
more
Year: 2014
Lecture: Infinite Groups
Efim Zelmanov
more
Year: 2014
Lecture: Computer Science in the Information Age
John E. Hopcroft
more
Year: 2014
Lecture: Diophantine Equations
Gerd Faltings
more
Year: 2014
Lecture: Regularity versus chaos in area preserving maps
Jean-Christophe Yoccoz
more
Year: 2014
Lecture: Algebraic geometry vs. impressionism paintings
Shigefumi Mori
more
Year: 2014
Lecture: Data Structures
Robert Endre Tarjan
more
Year: 2014
Lecture: Rational points on elliptic and hyperelliptic curves
Manjul Bhargava
more
Year: 2014
Lecture: How to write a 21st Century Proof
Leslie Lamport
more
Year: 2014
Lecture: Number theory and the Langlands program
Bảo Châu Ngô
more
Year: 2014
Lecture: On Digital Preservation
Vinton Gray Cerf
more
Year: 2014
Lecture: Taming infinities
Martin Hairer
more
Year: 2014
Lecture: Is Computing a Science?
Joseph Sifakis
more
Year: 2014
Lecture: Desperately Needed Remedies for the Undebuggability of Large…
William Morton Kahan
more
Year: 2014
Lecture: Randomness, continuum and complex analysis
Wendelin Werner
more
Year: 2014
Lecture: Toward a Theory of Humanly Computable Protocols
Manuel Blum
more
Year: 2014
Lecture: Beauty in Mathematics
Michael Francis Atiyah
more
Year: 2014
Opening Ceremony 2nd HLF
more
Year: 2013
Lecture: Future Directions in Computer Science Research
John E. Hopcroft
more
Year: 2013
Lecture: Hints and Principles for Computer System Design
Butler W. Lampson
more
Year: 2013
Lecture: Putting Turing to Work
Alan Kay
more
Year: 2013
Lecture: Scaling Limits
Srinivasa S. R. Varadhan
more
Year: 2013
Lecture: Miracles of Cryptography, Preventing Collusion in Auctions
Michael O. Rabin
more
Year: 2013
Lecture: Univalent Foundations of Mathematics
Vladimir Voevodsky
more
Year: 2013
Lecture: System Design Science
Joseph Sifakis
more
Year: 2013
Lecture: Desperately Needed Remedies for the Undebuggability of Large-Scale…
William Morton Kahan
more
Year: 2013
Lecture: The Computational Lens on the Sciences
Richard Manning Karp
more
Year: 2013
Lecture: Reliable Meaningful Communication
Madhu Sudan
more
Year: 2013
Lecture: Advice to a Young Mathematician
Michael Francis Atiyah
more
Year: 2013
Lecture: Rational Proofs
Silvio Micali
more
Year: 2013
Lecture: Randomness
Avi Wigderson
more
Year: 2013
Lecture: Learning as the Source of Life's Phenomena
Leslie G. Valiant
more
Year: 2013
Lecture: Model Checking and the Curse of Dimensionality
Edmund Melson Clarke
more
Year: 2013
Lecture: Protein Folding
Stephen Smale
more
Year: 2013
Lecture: Billiards and Moduli Spaces
Curtis T. McMullen
more
Year: 2013
Lecture: Who invented the Computer: Babbage, Atanasoff, Zuse, Turing or von…
Raj Reddy
more
Year: 2013
Opening Ceremony 1st HLF
more