coq-club AT inria.fr

Subject: The Coq mailing list

List archive

chronological Thread

From: Jasmin Christian Blanchette <jasmin.blanchette AT gmail.com>
To: Georges Gonthier <gonthier AT microsoft.com>
Cc: Isabelle <isabelle-users AT cl.cam.ac.uk>, coq-club AT inria.fr
Subject: Re: [Coq-Club] Call for Votes on bids to host ITP-2011]
Date: Thu, 18 Feb 2010 16:20:37 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=cc:message-id:from:to:in-reply-to:content-type :content-transfer-encoding:mime-version:subject:date:references :x-mailer; b=ADpeHZ8KkokKlTgomwdtMAk0hCxFe+KNznQ9dZLeLaq/WwpzJqh+O0Oa8S+zhuJhUo 06KxyGXJvYzD/laNLtSByv5nv1QF43DJK+01YlN819CQAx7Q1s0t4U27uKC1YT1xu+ol 5ULOS1gYBfGxkz38GbZCT3Jlq//VI/x3+Pspw=

Am 18.02.2010 um 16:07 schrieb Georges Gonthier:

Send your vote by March 1, by email to Matt Kaufmann,
kaufmann AT cs.texas.edu.

This address is incorrect; it should be "kaufmann AT cs.utexas.edu" (with a u).

Jasmin

[Coq-Club] Call for Votes on bids to host ITP-2011], Georges Gonthier
- Re: [Coq-Club] Call for Votes on bids to host ITP-2011], Jasmin Christian Blanchette