coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] ACM Programming Languages Software Award

From: Andreas Abel <andreas.abel AT ifi.lmu.de>
To: Gert Smolka <smolka AT ps.uni-saarland.de>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] ACM Programming Languages Software Award
Date: Sun, 30 Jun 2013 19:20:15 +0200

Congrats also from the competition! :-) Agda is proud of her older brother!

--Andreas

On 28.06.13 7:56 PM, Gert Smolka wrote:

Dear Coq Team,

congratulations on the well-deserved award. You certainly created the most
exciting programming system I have been working with.

Gert Smolka

http://www.sigplan.org/Awards/Software/Main

--
Andreas Abel <>< Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel AT ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/

[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