--- a/index.html	Tue May 26 18:35:09 2015 +0100
+++ b/index.html	Tue May 26 18:38:29 2015 +0100
@@ -165,95 +165,6 @@
 excursion to <A HREF="http://en.wikipedia.org/wiki/Yangzhou">Yangzhou</A>
 and the <A HREF="http://en.wikipedia.org/wiki/Yangzhou#Slender_West_Lake">Slender West Lake</A>.
 
-<H4><A NAME="committees"></A>Programme Committee</H4>
-
-<TABLE>
-<TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD>
-    <TD>University of Bologna, Italy</TD>
-</TR>
-<TR><TD><A HREF="http://www.itu.dk/people/jebe/">Jesper Bengtson</A></TD>
-    <TD>IT University of Copenhagen, Denmark</TD>
-</TR>
-<TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD>
-    <TD>Secunet Security Networks AG, Germany</TD>
-</TR>
-<TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
-    <TD>INRIA, France</TD>
-</TR>
-<TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
-    <TD>Aarhus University, Denmark</TD>
-</TR>
-<TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
-    <TD>University of Rennes, France</TD>
-</TR>
-<TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
-    <TD>Cornell University, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
-    <TD>University of Gothenburg, Sweden</TD>
-</TR>
-<TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD>
-    <TD>University of Science and Technology, China</TD>
-</TR>
-<TR><TD><A HREF="http://www.cs.uwyo.edu/~ruben/">Ruben Gamboa</A></TD>
-    <TD>University of Wyoming, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.cs.ru.nl/~herman/">Herman Geuvers</A></TD>
-    <TD>Radboud University Nijmegen, The Netherlands</TD>
-</TR>
-<TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD>
-    <TD>Cambridge University, United Kingdom</TD>
-</TR>
-<TR><TD><A HREF="http://web.engr.illinois.edu/~egunter/">Elsa Gunter</A></TD>
-    <TD>University of Illinois, Urbana-Champaign, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
-    <TD>Intel Corporation, USA</TD>
-</TR>
-<TR><TD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></TD>
-    <TD>INRIA, France</TD>
-</TR>
-<TR><TD><A HREF="http://www.cs.utexas.edu/~kaufmann/">Matt Kaufmann</A></TD>
-    <TD>University of Texas at Austin, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD>
-    <TD>NICTA, Australia</TD>
-</TR>
-<TR><TD><A HREF="http://shemesh.larc.nasa.gov/people/cam/">C&#233;sar Mu&#241;oz</A></TD>
-    <TD>NASA Langley Research Center, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></TD>
-    <TD>TU M&uuml;nchen, Germany</TD>
-</TR>
-<TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD>
-    <TD>NICTA, Australia</TD>
-</TR>
-<TR><TD><A HREF="http://www.cs.kent.ac.uk/people/staff/sao/">Scott Owens</A></TD>
-    <TD>University of Kent, United Kingdom</TD>
-</TR>
-<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
-    <TD>Harvard University, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Sch&uuml;rmann</A></TD>
-    <TD>IT University of Copenhagen, Denmark</TD>
-</TR>
-<TR><TD><A HREF="http://loonwerks.com/people/konrad-slind.html">Konrad Slind</A></TD>
-    <TD>Rockwell Collins, USA</TD>
-</TR>
-<TR><TD><A HREF="http://www.ntu.edu.sg/home/atiu/">Alwen Tiu</A></TD>
-    <TD>Nanyang Technological University, Singapore</TD>
-</TR>
-<TR><TD><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Christian Urban</A> (co-chair)&nbsp;</TD>
-    <TD>King's College London, United Kingdom</TD>
-</TR>
-<TR><TD><A HREF="http://research.microsoft.com/en-us/people/dimitris/">Dimitrios Vytiniotis</A></TD>
-    <TD>Microsoft Research Cambridge, United Kingdom</TD>
-</TR>
-<TR><TD>Xingyuan Zhang (co-chair)</TD>
-    <TD>PLA University of Science and Technology, China</TD>
-</TR>
-</TABLE>
-
 <H4>Travel to Nanjing</H4>
 
 
@@ -348,8 +259,6 @@
 Nanjing's Confucius Temple. 
 
 
-
-
 <H4>Excursion</H4>
 
 The excursion will be to 
@@ -362,8 +271,95 @@
 will finish with a dinner in the well-known
 <A HREF="http://en.wikipedia.org/wiki/Fuchun_Teahouse">Fuchun</A> restaurant.
 
-<H4>Nanjing</H4>
+
+<H4><A NAME="committees"></A>Programme Committee</H4>
 
+<TABLE>
+<TR><TD><A HREF="http://www.cs.unibo.it/~asperti/">Andrea Asperti</A></TD>
+    <TD>University of Bologna, Italy</TD>
+</TR>
+<TR><TD><A HREF="http://www.itu.dk/people/jebe/">Jesper Bengtson</A></TD>
+    <TD>IT University of Copenhagen, Denmark</TD>
+</TR>
+<TR><TD><A HREF="http://wwwbroy.in.tum.de/~berghofe/">Stefan Berghofer</A></TD>
+    <TD>Secunet Security Networks AG, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
+    <TD>INRIA, France</TD>
+</TR>
+<TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
+    <TD>Aarhus University, Denmark</TD>
+</TR>
+<TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
+    <TD>University of Rennes, France</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
+    <TD>Cornell University, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
+    <TD>University of Gothenburg, Sweden</TD>
+</TR>
+<TR><TD><A HREF="http://staff.ustc.edu.cn/~xyfeng/">Xinyu Feng</A></TD>
+    <TD>University of Science and Technology, China</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.uwyo.edu/~ruben/">Ruben Gamboa</A></TD>
+    <TD>University of Wyoming, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.ru.nl/~herman/">Herman Geuvers</A></TD>
+    <TD>Radboud University Nijmegen, The Netherlands</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~mjcg/">Mike Gordon</A></TD>
+    <TD>Cambridge University, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://web.engr.illinois.edu/~egunter/">Elsa Gunter</A></TD>
+    <TD>University of Illinois, Urbana-Champaign, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cl.cam.ac.uk/~jrh13/">John Harrison</A></TD>
+    <TD>Intel Corporation, USA</TD>
+</TR>
+<TR><TD><A HREF="http://pauillac.inria.fr/~herbelin/index-eng.html">Hugo Herbelin</A></TD>
+    <TD>INRIA, France</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.utexas.edu/~kaufmann/">Matt Kaufmann</A></TD>
+    <TD>University of Texas at Austin, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.cse.unsw.edu.au/~kleing/">Gerwin Klein</A></TD>
+    <TD>NICTA, Australia</TD>
+</TR>
+<TR><TD><A HREF="http://shemesh.larc.nasa.gov/people/cam/">C&#233;sar Mu&#241;oz</A></TD>
+    <TD>NASA Langley Research Center, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www21.in.tum.de/~nipkow/">Tobias Nipkow</A></TD>
+    <TD>TU M&uuml;nchen, Germany</TD>
+</TR>
+<TR><TD><A HREF="http://nicta.com.au/people/norrishm">Michael Norrish</A></TD>
+    <TD>NICTA, Australia</TD>
+</TR>
+<TR><TD><A HREF="http://www.cs.kent.ac.uk/people/staff/sao/">Scott Owens</A></TD>
+    <TD>University of Kent, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://homepages.inf.ed.ac.uk/rpollack/">Randy Pollack</A></TD>
+    <TD>Harvard University, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.itu.dk/people/carsten/">Carsten Sch&uuml;rmann</A></TD>
+    <TD>IT University of Copenhagen, Denmark</TD>
+</TR>
+<TR><TD><A HREF="http://loonwerks.com/people/konrad-slind.html">Konrad Slind</A></TD>
+    <TD>Rockwell Collins, USA</TD>
+</TR>
+<TR><TD><A HREF="http://www.ntu.edu.sg/home/atiu/">Alwen Tiu</A></TD>
+    <TD>Nanyang Technological University, Singapore</TD>
+</TR>
+<TR><TD><A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Christian Urban</A> (co-chair)&nbsp;</TD>
+    <TD>King's College London, United Kingdom</TD>
+</TR>
+<TR><TD><A HREF="http://research.microsoft.com/en-us/people/dimitris/">Dimitrios Vytiniotis</A></TD>
+    <TD>Microsoft Research Cambridge, United Kingdom</TD>
+</TR>
+<TR><TD>Xingyuan Zhang (co-chair)</TD>
+    <TD>PLA University of Science and Technology, China</TD>
+</TR>
+</TABLE>
 
 <center>
 <table style="width: 75%">