bids-2016.html
author chunhan
Thu, 13 Aug 2015 08:56:55 +0800
changeset 247 b76bbe746c5e
parent 131 a5c905a33751
permissions -rw-r--r--
update
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     1
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
<html>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
<head>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
<title>ITP 2015 in Nanjing</title>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
    <style type="text/css">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
      #map_canvas {
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
        width: 500px;
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
        height: 400px;
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
      }
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
    </style>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
<style type="text/css">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
  body { font-size: 14px;
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    14
         font-family: "trebuchet ms", helvetica, sans-serif; }
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    15
</style>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    16
</head>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    17
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    18
<BODY TEXT="#000000" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    19
      BGCOLOR="#4169E1" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    20
      LINK="#0000EF" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    21
      VLINK="#51188E" 
119
b52ec9acb506 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 118
diff changeset
    22
      ALINK="#FF0000">
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    23
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    24
<TABLE WIDTH="100%" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    25
       BGCOLOR="#4169E1" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    26
       BORDER="0"   
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    27
       FRAME="border"  
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    28
       CELLPADDING="10"     
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    29
       CELLSPACING="2"
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    30
       RULES="all">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    31
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    32
<!-- left column -->
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    33
<TR>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    34
<TD BGCOLOR="#FFFFFF" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    35
    WIDTH="20%" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    36
    VALIGN="TOP" 
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    37
    ROWSPAN="2">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    38
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    39
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    40
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    41
<a href="pics/ITP-Linggusu.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    42
<img src="pics/ITP-Linggusu.jpg" width="50%" height="12%" alt="Linggusi" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    43
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    44
Linggusi pagoda<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    45
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    46
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    47
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    48
<a href="pics/ITP-Mochou.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    49
<img src="pics/ITP-Mochou.jpg" alt="Mochou" width="88%" height="18%" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    50
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    51
Mochou Lake Park<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    52
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    53
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    54
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    55
<a href="pics/ITP-najing-cit-walk.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    56
<img src="pics/ITP-najing-cit-walk.jpg" alt="City Wall" width="50%" height="18%" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    57
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    58
Nanjing city wall<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    59
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    60
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    61
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    62
<a href="pics/Nanjing2.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    63
<img src="pics/Nanjing2.jpg" alt="City Wall" width="80%" height="13%" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    64
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    65
"Elephant Road" of the<br> Ming tomb<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    66
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    67
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    68
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    69
<a href="pics/Nanjing3.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    70
<img src="pics/Nanjing3.jpg" alt="Nanjing's skyline" width="80%" height="13%" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    71
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    72
Nanjing's skyline<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    73
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    74
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    75
<p align=center>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    76
<a href="pics/Nanjing4.jpg">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    77
<img src="pics/Nanjing4.jpg" alt="Science and Technology Museum" width="80%" height="18%" border=0></a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    78
<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    79
Science and Technology<br> Museum<br>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    80
</p>   
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    81
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    82
</TD>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    83
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    84
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    85
<!-- right column -->
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    86
<TD BGCOLOR="#FFFFFF" WIDTH="75%" VALIGN="TOP">
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    87
<TABLE>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    88
<TR>
117
7ea39721aea7 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 115
diff changeset
    89
<TD><H1>Bids for Hosting ITP 2016</H1></TD>
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    90
</TABLE>
120
e02d6cf59a00 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 119
diff changeset
    91
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    92
<p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    93
<HR>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    94
[<A HREF="index.html">Home</A>]
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    95
[<A HREF="index.html#dates">Important Dates</A>]
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    96
[<A HREF="cfp.pdf">CFP</A>]
131
a5c905a33751 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 129
diff changeset
    97
[<A HREF="accepted.html">Accepted Papers</A>]
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    98
[<A HREF="index.html#committees">Committees</A>]
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    99
[<A HREF="history.html">Conference History</A>]
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   100
<HR>
120
e02d6cf59a00 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 119
diff changeset
   101
123
96955fdeb266 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 122
diff changeset
   102
<h4>Bids</h4>
96955fdeb266 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 122
diff changeset
   103
121
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   104
A tradition of ITP and TPHOLs is that groups
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   105
can bid for hosting the next conference. The only restriction
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   106
is that the conference should be held in a continent different
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   107
to the location of the previous meeting. The following four
128
179bb5d2e7ae small update
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 127
diff changeset
   108
groups have submitted bids to organise ITP in 2016 and are
179bb5d2e7ae small update
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 127
diff changeset
   109
eligible:
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   110
121
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   111
<ul>
124
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   112
<li> <A HREF="http://www.loria.fr/~jablanch/itp2016/bid.html">Nancy</A> (France)
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   113
     by Jasmin Blanchette and Stephan Merz
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   114
<li> <A HREF="http://cl-informatik.uibk.ac.at/users/thiemann/itp_2016/bid.html">Innsbruck</A> (Austria)
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   115
     by Rene Thiemann and Christian Sternagel
129
d271335bded5 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 128
diff changeset
   116
<li> <A HREF="http://web.cecs.pdx.edu/~apt/itp2016/bid.html">Portland/Oregon</A> (USA)
127
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 124
diff changeset
   117
     by Andrew Tolmach, John O'Leary and Brian Huffman
124
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   118
<li> <A HREF="http://frederic.loulergue.eu/ITP2016/">Orleans</A> (France)
cdc7cece6ccd updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 123
diff changeset
   119
     by Frederic Loulergue, Pierre Courtieu, Frederic Dabrowski and Hugo Herbelin
121
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   120
</ul>  
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   121
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   122
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   123
123
96955fdeb266 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 122
diff changeset
   124
<h4>Voting</h4>
121
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   125
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   126
<p>The people eligible to vote are those who are seriously thinking of attending
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   127
ITP 2016, and the voting system used will be
2cc120fc039c updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 120
diff changeset
   128
<a href="http://en.wikipedia.org/wiki/Single_Transferable_Vote">Single Transferable Vote</a>
129
d271335bded5 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents: 128
diff changeset
   129
between all received bids. Votes should be send to itp2015 at easychair.org.
115
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   130
</p>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   131
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   132
</TD>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   133
</TR>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   134
</TABLE>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   135
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   136
<hr>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   137
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   138
</body>
af0ecdcd08a9 added bids page
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
   139
</html>