coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- 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
- Re: [Coq-Club] What happened to Software Verification videos at OPLSS wegpage?, Siraaj Khandkar, 07/08/2014
Archive powered by MHonArc 2.6.18.