The Coq mailing list

[Siraaj Khandkar <siraaj AT khandkar.net>]

Andrew Appel's lecture videos are up, just not listed on the web page:

$ lftp -e ls
https://www.cs.uoregon.edu/research/summerschool/summer14/media | grep
Andrew
cd: received redirection to
`https://www.cs.uoregon.edu/research/summerschool/summer14/media/'
cd ok, cwd=/research/summerschool/summer14/media
-rw-r--r--  --  Andrew1-1.mp4
-rw-r--r--  --  Andrew1-2.mp4
-rw-r--r--  --  Andrew2-1.mp4
-rw-r--r--  --  Andrew2-2.mp4
-rw-r--r--  --  Andrew2-3.mp4
-rw-r--r--  --  Andrew3-1.mp4
-rw-r--r--  --  Andrew3-2.mp4
-rw-r--r--  --  Andrew4-1.mp4
-rw-r--r--  --  Andrew4-2.mp4


On 07/07/2014 03:32 AM, Ömer Sinan Ağacan wrote:
> So this seems to be the most interesting lecture of this year's OPLSS
> but for some reason videos of it are missing from the webpage. Any
> ideas why and where can I find them? Or is it not recorded?
> 
> Thanks.
>