Facebook
Twitter
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
9th HLF 2022
Program 9th HLF 2022
Laureates 9th HLF 2022
Hot Topic 9th HLF 2022
Infection Protection Concept
YouTube HLF
Past HLFs
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
Structure of the Forum
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
Alumni
Selection Process
FAQ
HLFF Spotlight
HLFF Spotlight: Alumni in Action
HLFF Spotlight: 9th HLF
Journalists
9th HLF 2022
Program 9th HLF 2022
Laureates 9th HLF 2022
Hot Topic 9th HLF 2022
Infection Protection Concept
YouTube HLF
Past HLFs
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
Structure of the Forum
Outreach
Laureates at the
4th
HLF 2016
pdf download
Sir Michael Francis Atiyah †
1966: Fields Medal
2004: Abel Prize
Frederick Brooks
1999: ACM A.M. Turing Award
Vinton Gray Cerf
2004: ACM A.M. Turing Award
Stephen Arthur Cook
1982: ACM A.M. Turing Award
Gerd Faltings
1986: Fields Medal
Heisuke Hironaka
1970: Fields Medal
Sir C. Antony R. Hoare
1980: ACM A.M. Turing Award
John E. Hopcroft
1986: ACM A.M. Turing Award
William Morton Kahan
1989: ACM A.M. Turing Award
Leslie Lamport
2013: ACM A.M. Turing Award
Barbara Liskov
2008: ACM A.M. Turing Award
Shigefumi Mori
1990: Fields Medal
Bảo Châu Ngô
2010: Fields Medal
Raj Reddy
1994: ACM A.M. Turing Award
Joseph Sifakis
2007: ACM A.M. Turing Award
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
Vladimir Voevodsky †
2002: Fields Medal
Sir Andrew John Wiles
2016: Abel Prize
