Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Acm System Programing Award

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Acm System Programing Award


Chronological Thread 
  • 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



Archive powered by MHonArc 2.6.18.

Top of Page