Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?


Chronological Thread 
  • From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
  • To: coq club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?
  • Date: Tue, 8 Jul 2014 23:33:27 +0300

Awesome! Thanks, Siraaj!

---
Ömer Sinan Ağacan
http://osa1.net


2014-07-08 17:54 GMT+03:00 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.
>>



Archive powered by MHonArc 2.6.18.

Top of Page