Year: 2020

Panel Discussion: How to Trust the Incomprehensible - Public Science…

John E. Hopcroft, Volker Stollorz, Ilka Agricola, Susan D'Agostino, Eva Wolfangel

Year: 2020

Panel Discussion: Theorems and Initiatives Inspired by Maryam…

Marie-Françoise Roy, Hélène Barcelo, Vincent Delecroix, Georges-Philippe Gadoury-Sansfacon, Andrea Vera Gajardo, Sorelle Toukam Tchoumegne

Year: 2020

Laureate Discussion: Where can computer science and mathematics…

Alessio Figalli, Jon Kleinberg...

Year: 2020

Lecture and Laureate Dialogue: Analyzing Bias in Machine-Learning…

Jon Kleinberg, Yoshua Bengio...

Year: 2020

Lecture: Reflections on Programming Methodology

Barbara Liskov

Year: 2020

Lecture: Algebraic Geometry - how I became attracted to it.

Shigefumi Mori

Year: 2020

Lecture: An AI Solution to Covid-19 Lockdown Problem: Technology for…

Raj Reddy

Year: 2020

Lecture: Why is it so hard to make self-driving cars? (Trustworthy…

Joseph Sifakis

Year: 2020

Laureate Discussion: Scientific Exchange and Collaboration in the…

Vinton Gray Cerf, Alessio Figalli...

Year: 2020

Hot Topic: Health, Technology and Data - Which is the best way to go?

Shwetak N. Patel, Eva Wolfangel, Katherine Chou, Stefanie Friedhoff, Ziad Obermayer, Arunan Skandarajah, Aisha Walcott

Year: 2020

Lecture: Learning from Global Health Research to Address the Current…

Shwetak N. Patel

Year: 2020

Interview with Karen Uhlenbeck

Karen Keskulla Uhlenbeck, Janelle C. Mason, Jaqueline Godoy Mesquita

Year: 2020

Scientific Dialogue

Donald Ervin Knuth, Robert Endre Tarjan...

Year: 2020

Lecture: I AM A.I. – explaining artificial intelligence

Andreas Daniel Matt

Year: 2020

Lecture: Deep Reinforcement Learning | From AlphaGo to AlphaStar

David Silver

Year: 2020

Lecture: A Few Heuristics For Problem Finding And Pondering

Alan Kay

Year: 2020

Lecture: Architecture Innovation Accelerates Artificial Intelligence

David A. Patterson

Year: 2020

Scientific Dialogue

C. Antony R. Hoare, Leslie Lamport...

Year: 2020

Interviews with recent laureates

Caucher Birkar, Edwin E. Catmull...

Year: 2019

Lecture: A personal journey into the world of mathematics

Caucher Birkar

Year: 2019

Lecture: Grand Challenges in AI: Unfinished Agenda

Raj Reddy

Year: 2019

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

Shwetak N. Patel

Year: 2019

Lecture: Automatic Step-Size Control for Minimization Iterations

William Morton Kahan

Year: 2019

Lecture: Research in Deep Learning

John E. Hopcroft

Year: 2019

Lecture: The Mathematics of the Heart Beat

Stephen Smale

Year: 2019

Lecture: The Technological Imperative for Ethical Evolution

Martin Hellman

Year: 2019

Lecture: Concurrent Connected Components Algorithms

Robert Endre Tarjan

Year: 2019

Lecture: Can We Trust Autonomous Systems? Boundaries and Risks

Joseph Sifakis

Year: 2019

Lecture: What are the Computational Challenges for Cortex?

Leslie G. Valiant

Year: 2019

Lindau Lecture by Edvard Moser: Space and time: Internal dynamics of…

Year: 2019

Turing Lecture: Deep Learning for AI

Yoshua Bengio

Year: 2019

Opening Ceremony 7th HLF

Year: 2018

Lecture: Ingredients for Successful Research

Martin Hellman

Year: 2018

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

Constantinos Daskalakis

Year: 2018

Lecture: Random perturbations of Euclidean Geometry

Wendelin Werner

Year: 2018

Lecture: Autonomous Systems – A Rigorous Architectural…

Joseph Sifakis

Year: 2018

Lecture: On the early history of expanders

Gregory Margulis

Year: 2018

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

C. Antony R. Hoare

Year: 2018

Lecture: A New Golden Age for Computer Architecture

David A. Patterson

Year: 2018

Lecture: ALGORAND – The Truly Distributed Ledger

Silvio Micali

Year: 2018

Lecture: From Algebra to Geometry

Caucher Birkar

Year: 2018

Lindau Lecture by William D. Phillips: Time, Einstein and the coolest…

Year: 2018

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

Michael Stonebraker

Year: 2018

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

Leslie Lamport

Year: 2018

Lecture: An Introduction to AI and Deep Learning

John E. Hopcroft

Year: 2018

Lecture: The Riemann Hypothesis

Michael Francis Atiyah

Year: 2018

Opening Ceremony 6th HLF

Year: 2017

Lecture: Perspectives on Turing

Stephen Smale

Year: 2017

Lecture: Where Computer Science Meets Neuroscience

Leslie G. Valiant

Year: 2017

Lecture: An Interplanetary Internet

Vinton Gray Cerf

Year: 2017

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

Michael Francis Atiyah

Year: 2017

Lecture: Asymptotic Group Theory

Efim Zelmanov

Year: 2017

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

Manuel Blum

Year: 2017

Lecture: Mathematical Theories of Communication: Old and New

Madhu Sudan

Year: 2017

Lecture: Curious Facts About Nested Canalyzing Functions

Richard Edwin Stearns

Year: 2017

Lecture: Deep Learning and the Grand Engineering Challenges

Jeffrey A. Dean

Year: 2017

Lecture: How Much Hard is System Design?

Joseph Sifakis

Year: 2017

Lecture: How to Write a 21st Century Proof

Leslie Lamport

Year: 2017

Lecture: Self-Supervised Visual Learning and Synthesis

Alexei Efros

Year: 2017

Lecture: Deep Learning Research

John E. Hopcroft

Year: 2017

Lecture: The mathematics of randomness

Martin Hairer

Year: 2017

Lecture: Approximate Elimination

Daniel Spielman

Year: 2017

Lindau Lecture by Aaron Ciechanover: The Personalized Medicine…

Year: 2017

Lecture: The Evolution of Public Key Cryptography

Martin Hellman

Year: 2017

Opening Ceremony 5th HLF

Year: 2016

Lecture: Binary Search Tree

Robert Endre Tarjan

Year: 2016

Lecture: Resolution of Singularities in Algebraic Geometry

Heisuke Hironaka

Year: 2016

Lecture: A finite geometric representation of computer program…

C. Antony R. Hoare

Year: 2016

Lecture: The power of abstraction

Barbara Liskov

Year: 2016

Lecture: The PlusCal Algorithm Language

Leslie Lamport

Year: 2016

Lecture: UniMath

Vladimir Voevodsky

Year: 2016

Lecture: Strategies for Extensive Form Games

Richard Edwin Stearns

Year: 2016

Lecture: Too Much Information and Too Little Time

Raj Reddy

Year: 2016

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

Frederick Brooks

Year: 2016

Lecture: The Riemann zeta function and its generalizations

Bảo Châu Ngô

Year: 2016

Lecture: On the Nature of Computing

Joseph Sifakis

Year: 2016

Lecture: Equations in arithmetic

Andrew John Wiles

Year: 2016

Lindau Lecture by Brian Schmidt: State of the Universe

Year: 2016

Lecture: The Soluble and the Insoluble

Michael Francis Atiyah

Year: 2016

Lecture: Exciting Computer Science Research Directions

John E. Hopcroft

Year: 2016

Opening Ceremony 4th HLF

Year: 2015

Lecture: Holographic Algorithms

Leslie G. Valiant

Year: 2015

Lecture: Entropy and its many Avatars

Srinivasa S. R. Varadhan

Year: 2015

Lecture: Quantum Computing: A Great Science in the Making

Andrew C. Yao

Year: 2015

Lecture: Science versus Philosophy

Peter Naur

Year: 2015

Lecture: The Shifting Method

Endre Szemerédi

Year: 2015

Lecture: Strata in Complex Analysis

Leonard Max Adleman

Year: 2015

Lecture: Hints and Principles for Computer System Design

Butler W. Lampson

Year: 2015

Lecture: Understanding self-timed systems

Ivan Sutherland

Year: 2015

Lecture: A Personal History of Computers

Frederick Brooks

Year: 2015

Lecture: UniMath

Vladimir Voevodsky

Year: 2015

Lecture: Pioneers of Computer Science: Aristotle and Euclid

C. Antony R. Hoare

Year: 2015

Lecture: A compelling Desire to do Mathematics

Shigefumi Mori

Year: 2015

Lecture: A Mathematical View of Computer Systems

Leslie Lamport

Year: 2015

Lecture: Human Computation

Manuel Blum

Year: 2015

Lindau Lecture by Stefan Hell: Optical Microscopy: the Resolution…

Year: 2015

Opening Ceremony 3rd HLF

Year: 2015

Lecture: Model Checking Hybrid Systems

Edmund Melson Clarke

Year: 2014

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

Daniel Spielman

Year: 2014

Lecture: Infinite Groups

Efim Zelmanov

Year: 2014

Lecture: Computer Science in the Information Age

John E. Hopcroft

Year: 2014

Lecture: Diophantine Equations

Gerd Faltings

Year: 2014

Lecture: Regularity versus chaos in area preserving maps

Jean-Christophe Yoccoz

Year: 2014

Lecture: Algebraic geometry vs. impressionism paintings

Shigefumi Mori

Year: 2014

Lecture: Data Structures

Robert Endre Tarjan

Year: 2014

Lecture: Rational points on elliptic and hyperelliptic curves

Manjul Bhargava

Year: 2014

Lecture: How to write a 21st Century Proof

Leslie Lamport

Year: 2014

Lecture: Number theory and the Langlands program

Bảo Châu Ngô

Year: 2014

Lecture: On Digital Preservation

Vinton Gray Cerf

Year: 2014

Lecture: Taming infinities

Martin Hairer

Year: 2014

Lecture: Is Computing a Science?

Joseph Sifakis

Year: 2014

Lecture: Desperately Needed Remedies for the Undebuggability of Large…

William Morton Kahan

Year: 2014

Lecture: Randomness, continuum and complex analysis

Wendelin Werner

Year: 2014

Lecture: Toward a Theory of Humanly Computable Protocols

Manuel Blum

Year: 2014

Lecture: Beauty in Mathematics

Michael Francis Atiyah

Year: 2014

Opening Ceremony 2nd HLF

Year: 2013

Lecture: Future Directions in Computer Science Research

John E. Hopcroft

Year: 2013

Lecture: Hints and Principles for Computer System Design

Butler W. Lampson

Year: 2013

Lecture: Putting Turing to Work

Alan Kay

Year: 2013

Lecture: Scaling Limits

Srinivasa S. R. Varadhan

Year: 2013

Lecture: Miracles of Cryptography, Preventing Collusion in Auctions

Michael O. Rabin

Year: 2013

Lecture: Univalent Foundations of Mathematics

Vladimir Voevodsky

Year: 2013

Lecture: System Design Science

Joseph Sifakis

Year: 2013

Lecture: Desperately Needed Remedies for the Undebuggability of…

William Morton Kahan

Year: 2013

Lecture: The Computational Lens on the Sciences

Richard Manning Karp

Year: 2013

Lecture: Reliable Meaningful Communication

Madhu Sudan

Year: 2013

Lecture: Advice to a Young Mathematician

Michael Francis Atiyah

Year: 2013

Lecture: Rational Proofs

Silvio Micali

Year: 2013

Lecture: Randomness

Avi Wigderson

Year: 2013

Lecture: Learning as the Source of Life's Phenomena

Leslie G. Valiant

Year: 2013

Lecture: Model Checking and the Curse of Dimensionality

Edmund Melson Clarke

Year: 2013

Lecture: Protein Folding

Stephen Smale

Year: 2013

Lecture: Billiards and Moduli Spaces

Curtis T. McMullen

Year: 2013

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

Raj Reddy

Year: 2013

Opening Ceremony 1st HLF