coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Xavier Leroy <Xavier.Leroy AT inria.fr>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] Acm System Programing Award
- Date: Fri, 28 Jun 2013 18:49:07 +0200
On 28/06/13 17:37, occam wonder wrote:
>
> Why does Inria do not announce the ACM Award related to Coq?
Well, maybe the Coq team is too modest, or too jaded, or so busy
developing Coq that they didn't notice the award is now publically
announced :-)
At any rate, let me be the first to congratulate the Coq team for
receiving the 2013 Programming Languages Software Award from ACM
SIGPLAN.
The full citation and a description of this award are here:
http://www.sigplan.org/Awards/Software/Main
Previous recipients include LLVM and the Glasgow Haskell Compiler, so
the Coq team is in good company here.
Three cheers for Coq!
- Xavier Leroy
- [Coq-Club] Acm System Programing Award, occam wonder, 06/28/2013
- Re: [Coq-Club] Acm System Programing Award, Xavier Leroy, 06/28/2013
- [Coq-Club] ACM Programming Languages Software Award, Gert Smolka, 06/28/2013
- Re: [Coq-Club] ACM Programming Languages Software Award, Andreas Abel, 06/30/2013
- [Coq-Club] ACM Programming Languages Software Award, Gert Smolka, 06/28/2013
- Re: [Coq-Club] Acm System Programing Award, Xavier Leroy, 06/28/2013
Archive powered by MHonArc 2.6.18.