[isabelle] TPHOLs 2007: Election Result



35 votes were received, and their preferences are summarized like so:

University to Kaiserslautern: 20 votes
IT University of Copenhagen: 15 votes

The TPHOLs 2005 Organizing Committee are therefore pleased to announce
that TPHOLs 2007 will be held at the University of Kaiserslautern,
Germany, organized by Klaus Schneider and Jens Brandt. Please refer to
the bid web page for more information:

http://rsg.informatik.uni-kl.de/misc/bid-TPHOLs2007/

Thank you to everyone who participated in the selection process, and
especially to Klaus, Jens and Carsten for proposing bids.

Joe





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