Facebook
Bluesky
LinkedIn
Instagram
YouTube
HLFF Blog
flickr
Contact
Downloads | NEWSROOM | Press News
Downloads | NEWSROOM | Press News
HLFF
MAINS
About
About us
Scientific Committee
Partners
Team
Code of Conduct
Forum
12th HLF 2025
Program 12th HLF 2025
Laureates 12th HLF 2025
Structure of the Forum
Past HLFs
11th HLF 2024
10th HLF 2023
9th HLF 2022
8th HLF 2021
Virtual HLF 2020
7th HLF 2019
6th HLF 2018
5th HLF 2017
4th HLF 2016
3rd HLF 2015
2nd HLF 2014
1st HLF 2013
Upcoming Events
Outreach
Laureates
Overview
Awards
Abel Prize
ACM A.M. Turing Award
ACM Prize in Computing
Fields Medal
IMU Abacus Medal
Nevanlinna Prize
Masters of Abstraction
Young Researchers
FAQ
Alumni
AlumNode
HLFF Spotlight: Alumni in Action
HLFF Inspiring Minds
HLFF Spotlight
HLFF Spotlight: Alumni in Action
HLFF Spotlight: 10th HLF
Contact
Journalists
12th HLF 2025
Program 12th HLF 2025
Laureates 12th HLF 2025
Structure of the Forum
Past HLFs
11th HLF 2024
Program 11th HLF 2024
Laureates 11th HLF 2024
10th HLF 2023
Program 10th HLF 2023
Laureates 10th HLF 2023
Exhibitions @HLF
9th HLF 2022
Program 9th HLF 2022
Laureates 9th HLF 2022
Hot Topic 9th HLF 2022
Infection Protection Concept
8th HLF 2021
Virtual HLF 2020
Program Virtual HLF 2020
Laureates Virtual HLF
Hot Topic Virtual HLF 2020
Satellite Program Virtual HLF 2020
7th HLF 2019
Laureates 7th HLF 2019
Program 7th HLF 2019
Hot Topic 7th HLF 2019
6th HLF 2018
Laureates 6th HLF 2018
Program 6th HLF 2018
Hot Topic 6th HLF 2018
5th HLF 2017
Program 5th HLF 2017
Laureates 5th HLF 2017
Hot Topic 5th HLF 2017
4th HLF 2016
Program 4th HLF 2016
Laureates 4th HLF 2016
Hot Topic 4th HLF 2016
3rd HLF 2015
Program 3rd HLF 2015
Laureates 3rd HLF 2015
Hot Topic 3rd HLF 2015
2nd HLF 2014
Program 2nd HLF 2014
Laureates 2nd HLF 2014
Hot Topic 2nd HLF 2014
1st HLF 2013
Program 1st HLF 2013
Laureates 1st HLF 2013
Upcoming Events
Outreach
Laureates at the
3rd
HLF 2015
pdf download
Leonard Max Adleman
2002: ACM A.M. Turing Award
Sir Michael Francis Atiyah †
1966: Fields Medal
2004: Abel Prize
Manuel Blum
1995: ACM A.M. Turing Award
Frederick Brooks †
1999: ACM A.M. Turing Award
Vinton Gray Cerf
2004: ACM A.M. Turing Award
Edmund Melson Clarke †
2007: ACM A.M. Turing Award
Stephen Arthur Cook
1982: ACM A.M. Turing Award
Sir C. Antony R. Hoare
1980: ACM A.M. Turing Award
John E. Hopcroft
1986: ACM A.M. Turing Award
Richard Manning Karp
1985: ACM A.M. Turing Award
Leslie Lamport
2013: ACM A.M. Turing Award
Butler W. Lampson
1992: ACM A.M. Turing Award
Shigefumi Mori
1990: Fields Medal
Peter Naur †
2005: ACM A.M. Turing Award
Louis Nirenberg †
2015: Abel Prize
Andrei Okounkov
2006: Fields Medal
Richard Edwin Stearns
1993: ACM A.M. Turing Award
Ivan Sutherland
1988: ACM A.M. Turing Award
Endre Szemerédi
2012: Abel Prize
Robert Endre Tarjan
1982: Nevanlinna Prize
1986: ACM A.M. Turing Award
John Torrence Tate †
2010: Abel Prize
Leslie G. Valiant
1986: Nevanlinna Prize
2010: ACM A.M. Turing Award
Srinivasa S. R. Varadhan
2007: Abel Prize
Vladimir Voevodsky †
2002: Fields Medal
Andrew C. Yao
2000: ACM A.M. Turing Award
Efim Zelmanov
1994: Fields Medal
