Facebook
X (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
Open Positions
Forum
11th HLF 2024
Program 11th HLF 2024
Structure of the Forum
Past HLFs
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
Overview
Awards
Abel Prize
ACM A.M. Turing Award
ACM Prize in Computing
Fields Medal
IMU Abacus Medal
Nevanlinna Prize
Masters of Abstraction
Scientific Dialogue
C. Antony R. Hoare, Leslie Lamport
Sir C. Antony R. Hoare
more
Leslie Lamport
more
