Leslie
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