Skip to Content.
Sympa Menu

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

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[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: [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



Archive powered by MHonArc 2.6.18.

Top of Page