Leslie Lamport 退休后还有公开演讲或访谈吗?

有，但数量很少。根据他个人主页的说明，Leslie Lamport 已经从微软退休，现在只偶尔做少量演讲，形式通常是问答（Q&A）环节，另外还有一些关于他过往工作的访谈。这些内容有一部分可以在网上找到。他本人没有在页面上列出具体场次或链接清单，所以需要自行检索。

页面明确说了什么

主页上关于退休后活动的表述可以归纳为三点：

• 演讲频率：只做“a few talks”，即少量、不固定。
• 演讲形式：通常不是单向的主题报告，而是问答式交流。
• 访谈：存在一些关于他已完成工作的访谈，部分可在网上找到。

页面同时说明，TLA+ 现在归属于 TLA+ Foundation，这与他个人是否露面是两件事——标准与社区事务已由基金会承接，不代表他会因此增加公开活动。

为什么不能指望一个“演讲列表”

这个主页的定位是个人资料入口，主要指向两块内容：

它并没有维护“演讲与访谈日程”这类动态栏目。加上他已退休、邮箱也更换，主页更像是静态的资料索引，而不是活动公告板。因此想找演讲或访谈，靠这个页面本身不够。

想找到这些内容，可以怎么做

由于页面没有给出具体链接，可行的路径是：

1. 先看主页的两个入口：从 My Collected Works 和 My TLA Web Page 出发，确认是否有附带的外部链接指向访谈或演讲记录。
2. 按主题检索：用他的名字配合 TLA+、分布式系统、逻辑时钟（logical clocks）、Paxos 等关键词搜索视频平台或会议存档。
3. 注意形式特征：检索时优先留意问答形式的场次，这与页面描述的形式一致，比寻找正式 keynote 更可能命中。
4. 区分新旧内容：退休后的活动与退休前的会议报告混在一起，需要按时间或发布渠道判断。

一个容易踩的坑：别用旧邮箱联系

页面特别说明，他的微软邮箱已经不再可用。如果你打算通过邮件询问演讲、访谈或他写过的内容，需要注意：

• 他明确表示不会回复关于他所写内容的提问、任何形式的建议请求，以及描述你自己工作的邮件。
• 页面给出了一个可用的 Gmail 地址，但获取方式比较特殊——需要把十字符字符串 ll.sulpalt 的字符顺序反转，再在末尾加上 @gmail.com。
• 即便发到这个地址，他也只是定期查看，并不保证回复。

所以，指望通过邮件约访谈或问问题，基本不是有效途径。想了解他的公开露面，检索现成的网络资料更实际。