coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Gert Smolka <smolka AT ps.uni-saarland.de>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq receives the 2013 ACM Software System Award
Date: Wed, 16 Apr 2014 16:59:35 +0200

Well-deserved, Congratulations!
Gert

On Apr 16, 2014, at 16:45 , Xavier Leroy
<Xavier.Leroy AT inria.fr>
wrote:

> 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