Mercurial Mercurial > hg > itp-2015 / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
index.html
changeset 137 2aa7e50835ff
parent 136 8b0108296d45
child 138 8c3343a78af5
equal deleted inserted replaced
136:8b0108296d45 137:2aa7e50835ff 
   163 conferences, we will allow ample time between the formal sessions for
 
   163 conferences, we will allow ample time between the formal sessions for
 
   164 attendees to mingle and converse. Half a day will be dedicated to an
 
   164 attendees to mingle and converse. Half a day will be dedicated to an
 
   165 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
 
   165 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
 
   166 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
 
   166 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
 
   167 
   167 
   168 <H4><A NAME="committees"></A>Programme Committee</H4>
 
       
   169 
       
   170 <TABLE>
 
       
   171 <TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD>
 
       
   172     <TD>University of Bologna, Italy</TD>
 
       
   173 </TR>
 
       
   174 <TR><TD><A HREF="http://www.itu.dk/people/jebe/">Jesper Bengtson</A></TD>
 
       
   175     <TD>IT University of Copenhagen, Denmark</TD>
 
       
   176 </TR>
 
       
   177 <TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD>
 
       
   178     <TD>Secunet Security Networks AG, Germany</TD>
 
       
   179 </TR>
 
       
   180 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
 
       
   181     <TD>INRIA, France</TD>
 
       
   182 </TR>
 
       
   183 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
 
       
   184     <TD>Aarhus University, Denmark</TD>
 
       
   185 </TR>
 
       
   186 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
 
       
   187     <TD>University of Rennes, France</TD>
 
       
   188 </TR>
 
       
   189 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
 
       
   190     <TD>Cornell University, USA</TD>
 
       
   191 </TR>
 
       
   192 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
 
       
   193     <TD>University of Gothenburg, Sweden</TD>
 
       
   194 </TR>
 
       
   195 <TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD>
 
       
   196     <TD>University of Science and Technology, China</TD>
 
       
   197 </TR>
 
       
   198 <TR><TD><A HREF="http://www.cs.uwyo.edu/~ruben/">Ruben Gamboa</A></TD>
 
       
   199     <TD>University of Wyoming, USA</TD>
 
       
   200 </TR>
 
       
   201 <TR><TD><A HREF="http://www.cs.ru.nl/~herman/">Herman Geuvers</A></TD>
 
       
   202     <TD>Radboud University Nijmegen, The Netherlands</TD>
 
       
   203 </TR>
 
       
   204 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD>
 
       
   205     <TD>Cambridge University, United Kingdom</TD>
 
       
   206 </TR>
 
       
   207 <TR><TD><A HREF="http://web.engr.illinois.edu/~egunter/">Elsa Gunter</A></TD>
 
       
   208     <TD>University of Illinois, Urbana-Champaign, USA</TD>
 
       
   209 </TR>
 
       
   210 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
 
       
   211     <TD>Intel Corporation, USA</TD>
 
       
   212 </TR>
 
       
   213 <TR><TD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></TD>
 
       
   214     <TD>INRIA, France</TD>
 
       
   215 </TR>
 
       
   216 <TR><TD><A HREF="http://www.cs.utexas.edu/~kaufmann/">Matt Kaufmann</A></TD>
 
       
   217     <TD>University of Texas at Austin, USA</TD>
 
       
   218 </TR>
 
       
   219 <TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD>
 
       
   220     <TD>NICTA, Australia</TD>
 
       
   221 </TR>
 
       
   222 <TR><TD><A HREF="http://shemesh.larc.nasa.gov/people/cam/">C&#233;sar Mu&#241;oz</A></TD>
 
       
   223     <TD>NASA Langley Research Center, USA</TD>
 
       
   224 </TR>
 
       
   225 <TR><TD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></TD>
 
       
   226     <TD>TU M&uuml;nchen, Germany</TD>
 
       
   227 </TR>
 
       
   228 <TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD>
 
       
   229     <TD>NICTA, Australia</TD>
 
       
   230 </TR>
 
       
   231 <TR><TD><A HREF="http://www.cs.kent.ac.uk/people/staff/sao/">Scott Owens</A></TD>
 
       
   232     <TD>University of Kent, United Kingdom</TD>
 
       
   233 </TR>
 
       
   234 <TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
 
       
   235     <TD>Harvard University, USA</TD>
 
       
   236 </TR>
 
       
   237 <TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Sch&uuml;rmann</A></TD>
 
       
   238     <TD>IT University of Copenhagen, Denmark</TD>
 
       
   239 </TR>
 
       
   240 <TR><TD><A HREF="http://loonwerks.com/people/konrad-slind.html">Konrad Slind</A></TD>
 
       
   241     <TD>Rockwell Collins, USA</TD>
 
       
   242 </TR>
 
       
   243 <TR><TD><A HREF="http://www.ntu.edu.sg/home/atiu/">Alwen Tiu</A></TD>
 
       
   244     <TD>Nanyang Technological University, Singapore</TD>
 
       
   245 </TR>
 
       
   246 <TR><TD><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Christian Urban</A> (co-chair)&nbsp;</TD>
 
       
   247     <TD>King's College London, United Kingdom</TD>
 
       
   248 </TR>
 
       
   249 <TR><TD><A HREF="http://research.microsoft.com/en-us/people/dimitris/">Dimitrios Vytiniotis</A></TD>
 
       
   250     <TD>Microsoft Research Cambridge, United Kingdom</TD>
 
       
   251 </TR>
 
       
   252 <TR><TD>Xingyuan Zhang (co-chair)</TD>
 
       
   253     <TD>PLA University of Science and Technology, China</TD>
 
       
   254 </TR>
 
       
   255 </TABLE>
 
       
   256 
       
   257 <H4>Travel to Nanjing</H4>
 
   168 <H4>Travel to Nanjing</H4>
 
   258 
   169 
   259 
   170 
   260 Nanjing is a major city in China.  There are international airline
 
   171 Nanjing is a major city in China.  There are international airline
 
   261 connections directly to <A
 
   172 connections directly to <A
 
   346 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
 
   257 <A HREF="http://en.wikipedia.org/wiki/Ming_Xiaoling_Mausoleum">Ming tombs</A> (see pictures on
 
   347 the left). There is a wide selection of excellent restaurants around
 
   258 the left). There is a wide selection of excellent restaurants around
 
   348 Nanjing's Confucius Temple. 
   259 Nanjing's Confucius Temple. 
   349 
   260 
   350 
   261 
   351 
       
   352 
       
   353 <H4>Excursion</H4>
 
   262 <H4>Excursion</H4>
 
   354 
   263 
   355 The excursion will be to 
   264 The excursion will be to 
   356 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away
 
   265 <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A> (1h away
 
   357 from Nanjing by bus). The tour will include a walk
 
   266 from Nanjing by bus). The tour will include a walk
 
   360 visit the <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>
 
   269 visit the <A HREF="http://arts.cultural-china.com/en/85Arts6286.html">Daming Temple</A>
 
   361 and the old Stone Pagoda of Yangzhou.  The day
 
   270 and the old Stone Pagoda of Yangzhou.  The day
 
   362 will finish with a dinner in the well-known
 
   271 will finish with a dinner in the well-known
 
   363 <A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant.
 
   272 <A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant.
 
   364 
   273 
   365 <H4>Nanjing</H4>
 
   274 
   366 
   275 <H4><A NAME="committees"></A>Programme Committee</H4>
 
       
   276 
       
   277 <TABLE>
 
       
   278 <TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD>
 
       
   279     <TD>University of Bologna, Italy</TD>
 
       
   280 </TR>
 
       
   281 <TR><TD><A HREF="http://www.itu.dk/people/jebe/">Jesper Bengtson</A></TD>
 
       
   282     <TD>IT University of Copenhagen, Denmark</TD>
 
       
   283 </TR>
 
       
   284 <TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD>
 
       
   285     <TD>Secunet Security Networks AG, Germany</TD>
 
       
   286 </TR>
 
       
   287 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
 
       
   288     <TD>INRIA, France</TD>
 
       
   289 </TR>
 
       
   290 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
 
       
   291     <TD>Aarhus University, Denmark</TD>
 
       
   292 </TR>
 
       
   293 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
 
       
   294     <TD>University of Rennes, France</TD>
 
       
   295 </TR>
 
       
   296 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
 
       
   297     <TD>Cornell University, USA</TD>
 
       
   298 </TR>
 
       
   299 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
 
       
   300     <TD>University of Gothenburg, Sweden</TD>
 
       
   301 </TR>
 
       
   302 <TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD>
 
       
   303     <TD>University of Science and Technology, China</TD>
 
       
   304 </TR>
 
       
   305 <TR><TD><A HREF="http://www.cs.uwyo.edu/~ruben/">Ruben Gamboa</A></TD>
 
       
   306     <TD>University of Wyoming, USA</TD>
 
       
   307 </TR>
 
       
   308 <TR><TD><A HREF="http://www.cs.ru.nl/~herman/">Herman Geuvers</A></TD>
 
       
   309     <TD>Radboud University Nijmegen, The Netherlands</TD>
 
       
   310 </TR>
 
       
   311 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD>
 
       
   312     <TD>Cambridge University, United Kingdom</TD>
 
       
   313 </TR>
 
       
   314 <TR><TD><A HREF="http://web.engr.illinois.edu/~egunter/">Elsa Gunter</A></TD>
 
       
   315     <TD>University of Illinois, Urbana-Champaign, USA</TD>
 
       
   316 </TR>
 
       
   317 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
 
       
   318     <TD>Intel Corporation, USA</TD>
 
       
   319 </TR>
 
       
   320 <TR><TD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></TD>
 
       
   321     <TD>INRIA, France</TD>
 
       
   322 </TR>
 
       
   323 <TR><TD><A HREF="http://www.cs.utexas.edu/~kaufmann/">Matt Kaufmann</A></TD>
 
       
   324     <TD>University of Texas at Austin, USA</TD>
 
       
   325 </TR>
 
       
   326 <TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD>
 
       
   327     <TD>NICTA, Australia</TD>
 
       
   328 </TR>
 
       
   329 <TR><TD><A HREF="http://shemesh.larc.nasa.gov/people/cam/">C&#233;sar Mu&#241;oz</A></TD>
 
       
   330     <TD>NASA Langley Research Center, USA</TD>
 
       
   331 </TR>
 
       
   332 <TR><TD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></TD>
 
       
   333     <TD>TU M&uuml;nchen, Germany</TD>
 
       
   334 </TR>
 
       
   335 <TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD>
 
       
   336     <TD>NICTA, Australia</TD>
 
       
   337 </TR>
 
       
   338 <TR><TD><A HREF="http://www.cs.kent.ac.uk/people/staff/sao/">Scott Owens</A></TD>
 
       
   339     <TD>University of Kent, United Kingdom</TD>
 
       
   340 </TR>
 
       
   341 <TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
 
       
   342     <TD>Harvard University, USA</TD>
 
       
   343 </TR>
 
       
   344 <TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Sch&uuml;rmann</A></TD>
 
       
   345     <TD>IT University of Copenhagen, Denmark</TD>
 
       
   346 </TR>
 
       
   347 <TR><TD><A HREF="http://loonwerks.com/people/konrad-slind.html">Konrad Slind</A></TD>
 
       
   348     <TD>Rockwell Collins, USA</TD>
 
       
   349 </TR>
 
       
   350 <TR><TD><A HREF="http://www.ntu.edu.sg/home/atiu/">Alwen Tiu</A></TD>
 
       
   351     <TD>Nanyang Technological University, Singapore</TD>
 
       
   352 </TR>
 
       
   353 <TR><TD><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Christian Urban</A> (co-chair)&nbsp;</TD>
 
       
   354     <TD>King's College London, United Kingdom</TD>
 
       
   355 </TR>
 
       
   356 <TR><TD><A HREF="http://research.microsoft.com/en-us/people/dimitris/">Dimitrios Vytiniotis</A></TD>
 
       
   357     <TD>Microsoft Research Cambridge, United Kingdom</TD>
 
       
   358 </TR>
 
       
   359 <TR><TD>Xingyuan Zhang (co-chair)</TD>
 
       
   360     <TD>PLA University of Science and Technology, China</TD>
 
       
   361 </TR>
 
       
   362 </TABLE>
 
   367 
   363 
   368 <center>
 
   364 <center>
 
   369 <table style="width: 75%">
 
   365 <table style="width: 75%">
 
   370 <tr>
 
   366 <tr>
 
   371 <td>
 
   367 <td>
itp-2015