HLFF
HLF
MAINS
Newsroom
Press
News
ALL
HLFF
HLF
MAINS
Press Photos
Press Photos 8th HLF 2021
Press Photos 7th HLF 2019
Media Library
HLF Videos
MAINS Videos
Podcast
VLOG@HLF21
Blog
Contact
HLF Videos
MAINS Videos
Podcast
VLOG@HLF21
HLF Videos
Scientific Program
2013 - today
Year: 2021
Panel Discussion: The Scientific Vocation Revisited – Can Future…
Jeffrey A. Dean, Volker Stollorz...
more
Year: 2021
Interview: Future of Science
Volker Stollorz, Maria Leptin...
more
Year: 2021
Laureate Discussion: Advances in Computer Science, Mathematics and…
Vinton Gray Cerf, Yoshua Bengio...
more
Year: 2021
Laureate Discussion: Ethical, Societal and Environmental Implications…
Shafrira Goldwasser, David A. Patterson...
more
Year: 2021
Laureate Dialogue
Whitfield Diffie, Leslie Lamport...
more
Year: 2021
Laureate Dialogue
Robert Endre Tarjan, Alfred Vaino Aho...
more
Year: 2021
Hot Topic: Mathematics of Disease – The Science of Epidemic Modeling
Martin Enserink, Amrish Baidjoe...
more
Year: 2021
Panel Discussion: Scientists Get Creative to Engage the Public in…
Vinton Gray Cerf, Susan D'Agostino...
more
Year: 2021
Lecture Computer Science: Quantum Computational Supremacy
Scott J. Aaronson
more
Year: 2021
Lecture Mathematics: The Value of Errors in Proofs
Avi Wigderson
more
Year: 2020
Panel Discussion: Theorems and Initiatives Inspired by Maryam…
Marie-Françoise Roy, Hélène Barcelo...
more
Year: 2020
Laureate Discussion: Where can computer science and mathematics…
Alessio Figalli, Jon Kleinberg...
more
Year: 2020
Lecture and Laureate Dialogue: Analyzing Bias in Machine-Learning…
Jon Kleinberg, Yoshua Bengio...
more
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…
Raj Reddy
more
Year: 2020
Lecture: Why is it so hard to make self-driving cars? (Trustworthy…
Joseph Sifakis
more
Year: 2020
Laureate Discussion: Scientific Exchange and Collaboration in the…
Vinton Gray Cerf, Alessio Figalli......
more
Year: 2020
Panel Discussion: How to Trust the Incomprehensible - Public Science…
John E. Hopcroft, Volker Stollorz...
more
Year: 2020
Hot Topic: Health, Technology and Data - Which is the best way to go?
Shwetak N. Patel, Eva Wolfangel...
more
Year: 2020
Lecture: Learning from Global Health Research to Address the Current…
Shwetak N. Patel
more
Year: 2020
Interview with Karen Uhlenbeck
Karen Keskulla Uhlenbeck, Janelle C. Mason...
more
Year: 2020
Scientific Dialogue
Donald Ervin Knuth, Robert Endre Tarjan...
more
Year: 2020
Lecture: I AM A.I. – explaining artificial intelligence
Andreas Daniel Matt
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: 2020
Scientific Dialogue
C. Antony R. Hoare, Leslie Lamport...
more
Year: 2020
Interviews with recent laureates
Caucher Birkar, Edwin E. Catmull......
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…
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…
Constantinos Daskalakis
more
Year: 2018
Lecture: Random perturbations of Euclidean Geometry
Wendelin Werner
more
Year: 2018
Lecture: Autonomous Systems – A Rigorous Architectural…
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…
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…
more
Year: 2018
Lecture: Big Data, Technological Disruption and the 800 Pound Gorilla…
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…
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…
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…
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…
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…
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…
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…
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…
Raj Reddy
more
Year: 2013
Opening Ceremony 1st HLF
more