Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] TPHOLs 2008: Election Result


view this post on Zulip Email Gateway (Aug 18 2022 at 10:20):

From: TPHOLs 2007 Organisers <tphols2007@informatik.uni-kl.de>
HTML-version of the results table:
http://rsg.informatik.uni-kl.de/TPHOLs-2007/tphols2008.html

Election Result

1st choice 2nd choice 3rd choice 1st round 2nd round 3rd round
Hagenberg Montreal Sydney 1
Hagenberg Montreal - 2
Hagenberg - - 1
Hagenberg Sydney - 0
Hagenberg Sydney Montreal 2
Montreal Hagenberg Sydney 8
Montreal Hagenberg - 5
Montreal - - 10 17 49
Montreal Sydney - 1 14
Montreal Sydney Hagenberg 4
Sydney Hagenberg Montreal 5
Sydney Hagenberg - 2
Sydney - - 10 12
Sydney Montreal - 4 18
Sydney Montreal Hagenberg 7

- - - 0 1 13
total 62 62 62

The TPHOLs 2007 Organizing Committee are therefore pleased to announce
that TPHOLs 2008 will be held at Concordia University, Montreal, organised
by Sofiene Tahr.

Thank you to everyone who participated in the selection process, and
especially Martin, Sofiene and Alessandro for proposing bids.

Jens


Last updated: Nov 21 2024 at 12:39 UTC