Speaker: Leslie Lamport

Turing Award Winner of Paxos and LaTeX
2013 Turing Award Winner for "fundamental contributions to the theory and practice of distributed and concurrent systems,” much of the infrastructure implemented in places like Amazon.com is based on his research.

Find Leslie Lamport at

Talk: Programming Should Be More Than Coding


Covering innovative topics

Monday, 3 November

Tuesday, 4 November

Wednesday, 5 November