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

This address is incorrect; it should be "kaufmann at" (with a u).


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