HLFF
HLF
MAINS
Newsroom
Press
News
ALL
HLFF
HLF
MAINS
Virtual HLF Snapshots
Press Photos
Press Photos 7th HLF 2019
Lectures
Virtual HLF Videos
Blog
Contact
Virtual HLF Videos
Lecture Videos
2013 - today
Year: 2020
Lecture: Reflections on Programming Methodology
Barbara Liskov
more
Year: 2020
Lecture: Algebraic Geometry - how I became attracted to it.
Shigefumi Mori
more
Year: 2020
Lecture: An AI Solution to Covid-19 Lockdown Problem: Technology for Eliminating…
Raj Reddy
more
Year: 2020
Lecture: Why is it so hard to make self-driving cars? (Trustworthy autonomous…
Joseph Sifakis
more
Year: 2020
Lecture: Learning from Global Health Research to Address the Current Pandemic
Shwetak N. Patel
more
Year: 2020
Lecture: Deep Reinforcement Learning | From AlphaGo to AlphaStar
David Silver
more
Year: 2020
Lecture: A Few Heuristics For Problem Finding And Pondering
Alan Kay
more
Year: 2020
Lecture: Architecture Innovation Accelerates Artificial Intelligence
David A. Patterson
more
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