Email Gateway (Aug 17 2022 at 13:46): Email Gateway (Aug 17 2022 at 13:46):From: Joe Hurd <joe.hurd@comlab.ox.ac.uk>
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
Last updated: May 03 2024 at 04:19 UTC