
| home | | | cfp | | | submission | | | registration | | | programme | | | proceedings | | | kaiserslautern | | | history | | | organisation |
For the host selection process, there are two phases: solicitation of bids and voting.
A longstanding convention is that the conference should be held in a continent different to the location of the previous meeting. TPHOLs is traditionally held in August or September. Bids should be sent to tphols2007@informatik.uni-kl.de and should include at least the following information:
Previous bids may be accessed through the TPHOLs webpages. Please refer to the last ones (Kaiserslautern and Copenhagen) or previous ones from the history section of this website. Deadline for all bids is 25 Feb 2007.
Shortly after that, the bids will be made public and the voting phase will take place. The people eligible to vote are those who are seriously thinking of attending TPHOLs 2008, and the voting system used will be Single Transferable Vote between all received bids.
Since finding a host for TPHOLs 2008 turned out to be very difficult this year, we accepted bids from everywhere and let the TPHOLs community decide whether or not to apply the continent-alternation rule. All in all, we finally received the following three bids:
To vote, please send an email to tphols2007@informatik.uni-kl.de and list your preferred bids for TPHOLs 2008 in the following format:
1. <your first choice> 2. <your second choice> (optional) 3. <your third choice> (optional) <your name>
Including your name is for the sole purpose of preventing ballot stuffing: all votes will remain secret. The deadline for voting is Friday 16 Mar 2007.
62 votes were received, and their preferences are summarised like so:
| 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 Organising Committee are therefore pleased to announce that TPHOLs 2008 will be held in Montreal, Canada. Thank you to everyone who participated in the selection process, and especially Martin, Sofiene and Alessandro for proposing bids.
| Last modified: 28 Aug 2013. Contact: tphols2007@informatik.uni-kl.de. | ||
| TPHOLs 2007 is supported by DASMOD (Dependable Adaptive Systems and Mathematical Modeling), Fraunhofer IESE (Institute for Experimental Software Engineering) and DFKI (German Research Center for Artificial Intelligence). | ||