The Vienna Center for Logic and Algorithms would like to invite you to a Q&A-session with Turing Award winner Leslie Lamport on May 31, 2016 at 6:00pm in Informatikhörsaal (Treitlstraße 3, 1040 Vienna).
Microsoft Research, USA
Title: A Mathematical View of Computer Systems – Q&A
Room: Informatikhörsaal (Treitlstraße 3, 1040 Vienna)
Time: 31.5.2016, 18:00
According to Leslie Lamport, mathematics provides what he believes to be the simplest and most powerful way to describe computer systems. On May 31st, he will answer questions regarding his lecture on “A Mathematical View of Computer Systems”, which can be viewed here: http://www.heidelberg-laureate-forum.org/blog/video/lecture-monday-august-24-2015-leslie-lamport/
Please note that this will be a Question&Answer session only – the audience is expected to watch the lecture and prepare questions beforehand. Leslie Lamport expects questions related to the scope of the talk, e.g., on modeling computer systems, rigorous systems engineering, temporal logic of actions, and verification.