Re: [isabelle] [Coq-Club] Call for Votes on bids to host ITP-2011]



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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.