Hi Frederic,I didn't know that a talk of mine on PlusCal was on the web. Could you send
me its URL? Here are the talks of mine that on the Web that I know about.Who Builds a Skyscraper without Drawing Blueprints?
SLIDES NOT SHOWN
How to Write a 21st Century Proof
laureate-forum.org/blog/video/ lecture-tuesday-september-23- 2014-leslie-lamport/
(The video is in a format my browser can't read.)
A Mathematical View of Computation
laureate-forum.org/blog/video/ lecture-monday-august-24-2015- leslie-lamport/
Max Plank Institute, 25 September 2015
What is Computation
v=BDPHfRuAFnUIf anyone knows of others, please tell me where they are.
On Wednesday, July 6, 2016 at 5:15:04 AM UTC-7, fl wrote:While I am not in a reasonable time zone to watch the live broadcast anyway, I had the same concern as Simon. Although the normal Skype works on Linux, Skype for Business is not supported on Linux (not even the so-called web app), so I hope that the recording will be available later in a more portable format.I take the opportunity of this remark to say my opinion about those lectures that are more and more frequent.One of them was posted recently by Leslie. I've watched it. It was remarkable. It presented the philosophybehind TLAPLUS together with some points I was not aware. A really good synthetic lecture. Unfortunatelythe site that presented this lecture seems to consider it is its property. Impossible to have a copyon one's laptop. Not very kind for the lecturer nor for the auditor.On some other sites lectures can be downloaded. For instance (for those who can speak French):But there is still a problem Berry's lectures are very rich and if you want to listen back a part of themyou can't because they are not divided into sections and have no table of contentsand no index and you can't even index by yourself the parts you would like to listen again.Better than the usual ununderstandable powerpoints but not yet perfect.--FL