coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq receives the 2013 ACM Software System Award

From: Xavier Leroy <xavier.leroy AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Coq receives the 2013 ACM Software System Award
Date: Wed, 16 Apr 2014 16:45:12 +0200

Let me be the first (once more) to congratulate the Coq development
team for receiving the 2013 ACM Software System Award:

http://awards.acm.org/software_system/

(Not to be confused with the 2013 SIGPLAN Programming Languages
Software Award, which they received earlier.)

Three hurrahs for Coq,

- Xavier Leroy

[Coq-Club] Coq receives the 2013 ACM Software System Award, Xavier Leroy, 04/16/2014
- Re: [Coq-Club] Coq receives the 2013 ACM Software System Award, Gert Smolka, 04/16/2014
- Re: [Coq-Club] Coq receives the 2013 ACM Software System Award, Benjamin C. Pierce, 04/16/2014
  - Re: [Coq-Club] Coq receives the 2013 ACM Software System Award, Nuno Gaspar, 04/16/2014
    - Re: [Coq-Club] Coq receives the 2013 ACM Software System Award, bertot, 04/17/2014