LESLIE   LAMPORT'S   HOME   PAGE 


     







 The TLA Web Page  
 








My Collected Works
















 








On 3 January I will have retired from Microsoft



 
Microsoft has graciously agreed to maintain my website. 
However, my Microsoft email address will no longer work after I
retire.  If I know you, I may have forgotten to tell you my new
email address.  If you believe this to be the case, or if you
think you have something to tell me that I want to hear, you can send
me email at the address obtained by reversing the order of the
characters in the ten-letter string
  ll.sulpalt   and appending
  @gmail.com   to it.  I will
periodically look at email sent to that address.  I will
not respond to email asking questions about what I have
written, requesting advice of any kind, or describing your work. 
TLA+ now belongs to the 
  TLA+ Foundation.




 
If I have something new to say, I may give a few talks after I
retire.  I may also be willing to present an occasional question
and answer session.