Facebook
Twitter
YouTube
HLF Blog
flickr
Contact
Downloads | NEWSROOM | Press News
Downloads | NEWSROOM | Press News
HLFF
MAINS
About
About us
Scientific Committee
Partners
Team
Forum
Virtual HLF 2020
Program
Participating Laureates
Hot Topic 2020
Satellite Program
Past HLFs
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
Nevanlinna Prize
Masters of Abstraction
Young Researchers
Selection Process
AlumNode
FAQ
Journalists
Virtual HLF 2020
Program
Participating Laureates
Hot Topic 2020
Satellite Program
Past HLFs
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 A. 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
