269 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> |
270 and the old Stone Pagoda of Yangzhou. The day |
270 and the old Stone Pagoda of Yangzhou. The day |
271 will finish with a dinner in the well-known |
271 will finish with a dinner in the well-known |
272 <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. |
273 |
273 |
274 |
|
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ésar Muñ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ü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ü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) </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> |
|
363 |
|
364 <center> |
274 <center> |
365 <table style="width: 75%"> |
275 <table style="width: 75%"> |
366 <tr> |
276 <tr> |
367 <td> |
277 <td> |
368 <img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0> |
278 <img src="pics/Yangzhou2.jpg" alt="Yangzhou" width="98%" height="21%" border=0> |
379 </tr> |
289 </tr> |
380 </table> |
290 </table> |
381 </center> |
291 </center> |
382 |
292 |
383 |
293 |
|
294 <H4><A NAME="committees"></A>Programme Committee</H4> |
|
295 |
|
296 <TABLE> |
|
297 <TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD> |
|
298 <TD>University of Bologna, Italy</TD> |
|
299 </TR> |
|
300 <TR><TD><A HREF="http://www.itu.dk/people/jebe/">Jesper Bengtson</A></TD> |
|
301 <TD>IT University of Copenhagen, Denmark</TD> |
|
302 </TR> |
|
303 <TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD> |
|
304 <TD>Secunet Security Networks AG, Germany</TD> |
|
305 </TR> |
|
306 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD> |
|
307 <TD>INRIA, France</TD> |
|
308 </TR> |
|
309 <TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD> |
|
310 <TD>Aarhus University, Denmark</TD> |
|
311 </TR> |
|
312 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD> |
|
313 <TD>University of Rennes, France</TD> |
|
314 </TR> |
|
315 <TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD> |
|
316 <TD>Cornell University, USA</TD> |
|
317 </TR> |
|
318 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD> |
|
319 <TD>University of Gothenburg, Sweden</TD> |
|
320 </TR> |
|
321 <TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD> |
|
322 <TD>University of Science and Technology, China</TD> |
|
323 </TR> |
|
324 <TR><TD><A HREF="http://www.cs.uwyo.edu/~ruben/">Ruben Gamboa</A></TD> |
|
325 <TD>University of Wyoming, USA</TD> |
|
326 </TR> |
|
327 <TR><TD><A HREF="http://www.cs.ru.nl/~herman/">Herman Geuvers</A></TD> |
|
328 <TD>Radboud University Nijmegen, The Netherlands</TD> |
|
329 </TR> |
|
330 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD> |
|
331 <TD>Cambridge University, United Kingdom</TD> |
|
332 </TR> |
|
333 <TR><TD><A HREF="http://web.engr.illinois.edu/~egunter/">Elsa Gunter</A></TD> |
|
334 <TD>University of Illinois, Urbana-Champaign, USA</TD> |
|
335 </TR> |
|
336 <TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD> |
|
337 <TD>Intel Corporation, USA</TD> |
|
338 </TR> |
|
339 <TR><TD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></TD> |
|
340 <TD>INRIA, France</TD> |
|
341 </TR> |
|
342 <TR><TD><A HREF="http://www.cs.utexas.edu/~kaufmann/">Matt Kaufmann</A></TD> |
|
343 <TD>University of Texas at Austin, USA</TD> |
|
344 </TR> |
|
345 <TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD> |
|
346 <TD>NICTA, Australia</TD> |
|
347 </TR> |
|
348 <TR><TD><A HREF="http://shemesh.larc.nasa.gov/people/cam/">César Muñoz</A></TD> |
|
349 <TD>NASA Langley Research Center, USA</TD> |
|
350 </TR> |
|
351 <TR><TD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></TD> |
|
352 <TD>TU München, Germany</TD> |
|
353 </TR> |
|
354 <TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD> |
|
355 <TD>NICTA, Australia</TD> |
|
356 </TR> |
|
357 <TR><TD><A HREF="http://www.cs.kent.ac.uk/people/staff/sao/">Scott Owens</A></TD> |
|
358 <TD>University of Kent, United Kingdom</TD> |
|
359 </TR> |
|
360 <TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD> |
|
361 <TD>Harvard University, USA</TD> |
|
362 </TR> |
|
363 <TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Schürmann</A></TD> |
|
364 <TD>IT University of Copenhagen, Denmark</TD> |
|
365 </TR> |
|
366 <TR><TD><A HREF="http://loonwerks.com/people/konrad-slind.html">Konrad Slind</A></TD> |
|
367 <TD>Rockwell Collins, USA</TD> |
|
368 </TR> |
|
369 <TR><TD><A HREF="http://www.ntu.edu.sg/home/atiu/">Alwen Tiu</A></TD> |
|
370 <TD>Nanyang Technological University, Singapore</TD> |
|
371 </TR> |
|
372 <TR><TD><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Christian Urban</A> (co-chair) </TD> |
|
373 <TD>King's College London, United Kingdom</TD> |
|
374 </TR> |
|
375 <TR><TD><A HREF="http://research.microsoft.com/en-us/people/dimitris/">Dimitrios Vytiniotis</A></TD> |
|
376 <TD>Microsoft Research Cambridge, United Kingdom</TD> |
|
377 </TR> |
|
378 <TR><TD>Xingyuan Zhang (co-chair)</TD> |
|
379 <TD>PLA University of Science and Technology, China</TD> |
|
380 </TR> |
|
381 </TABLE> |
|
382 |
|
383 |
384 <H4>Finance</H4> |
384 <H4>Finance</H4> |
385 |
385 |
386 We will seek to keep costs low by negotiating discounts with |
386 We are grateful for the generous support from the PLA University of |
387 the hotel and by trying to find sponsoring where sensible. |
387 Science and Technology in Nanjing. |
388 |
388 |
389 </TD> |
389 </TD> |
390 </TR> |
390 </TR> |
391 </TABLE> |
391 </TABLE> |
392 |
392 |