Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Leslie Lamport
conf.researchr.org general profile
SPLASH 2020 profile
SPLASH 2021 profile
Not registered as user
Name:
Leslie Lamport
Country:
United States
Affiliation:
Microsoft Research
Contributions
2021
SPLASH
Speaker of Invited Speaker within the Ask Me Anything (AMA)-track
2020
LPOP
Invited Speaker of Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language within the LPOP 2020-track
Panelist of Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track
Share
x
Sat 21 Dec 17:10