coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: coq club <coq-club AT inria.fr>
Subject: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?
Date: Mon, 7 Jul 2014 10:32:02 +0300

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.

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

[Coq-Club] What happened to Software Verification videos at OPLSS wegpage?, Ömer Sinan Ağacan, 07/07/2014
- Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?, Siraaj Khandkar, 07/08/2014
  - Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?, Ömer Sinan Ağacan, 07/08/2014