# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417282683 0
# Node ID 99f336f35f876eda870d0b771981bb88a4a7d200
# Parent  2312c316736d38bdec8252cb529296b29316f768
updated

diff -r 2312c316736d -r 99f336f35f87 index.html
--- a/index.html	Sat Nov 29 14:55:50 2014 +0000
+++ b/index.html	Sat Nov 29 17:38:03 2014 +0000
@@ -115,6 +115,7 @@
 <HR>
 [<a href="index.html#dates">Important Dates</a>]
 [<A HREF="cfp.pdf">CFP</A>]
+[<a href="index.html#committees">Committees</a>]
 [<A HREF="history.html">Conference History</A>]
 <HR></p>
 
@@ -131,14 +132,22 @@
 Series.
 </p>
 
-<H3><A NAME="dates"></A>Important Dates</H3>
+<p>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
+conference (21 - 23 August), and<BR><BR>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">there will be a Coq tutorial after the conference
+(27 - 29 August).<BR><BR>
+</p>
+
+<H4><A NAME="dates"></A>Important Dates</H4>
+
 Submission of title and abstracts: 9 March 2015<BR>
 Submission of full papers: 13 March 2015<BR>
 Author notification: 15 May 2015<BR>
 Camera-ready papers: 5 June 2015<BR>
 Conference: 14-27 August 2015<BR>
 
-<H4>Timing and Tentative Programme</H4>
+<H4>Tentative Programme</H4>
 
 The conference will be held in the last week of August (24th - 27th
 August 2015).  As is the tradition, the conference consists of 4 days
@@ -147,12 +156,90 @@
 attendees to mingle and converse. Half a day will be dedicated to an
 excursion.
 
-<p>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
-conference (21 - 23 August), and<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">there will be a Coq tutorial after the conference
-(27 - 29 August).<BR><BR>
-</p>
+<H4><A NAME="committees"></A>Committees</H4>
+
+<H5>Programme Committee:</H5>
+
+<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="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>Havard 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>Konrad Slind</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>
 
@@ -208,7 +295,7 @@
 <A HREF="http://wikitravel.org/en/Nanjing#Sleep">hotels</A> in all price categories nearby.
 
 
-<H4>Advantages of Hosting ITP in Nanjing</H4>
+<H4>Local Information</H4>
 
 There are several groups in the ITP area that are active in China. For example for the last
 five years there have been popular
@@ -280,13 +367,6 @@
 We will seek to keep costs low by negotiating discounts with
 the hotel and by trying to find sponsoring where sensible.  
 
-<H4>Experience of the Programme Chairs and Local Organisation</H4>
-
-Xingyuan and Christian are regular participants at ITP. Christian was a
-co-organiser of the TPHOLs conference
-in 2009 in <A HREF="http://isabelle.in.tum.de/nominal/activities/tphols09/">Munich</A>.
-We will make use of the infrastructure available at Xingyuan's university for local
-organisation. There will also be a student team that helps with running the conference.
 </TD>
 </TR>
 </TABLE>
diff -r 2312c316736d -r 99f336f35f87 pc
--- a/pc	Sat Nov 29 14:55:50 2014 +0000
+++ b/pc	Sat Nov 29 17:38:03 2014 +0000
@@ -26,7 +26,7 @@
    http://www.cl.cam.ac.uk/~jrh13/
 Hugo Herbelin     (INRIA)
    http://pauillac.inria.fr/~herbelin/index-eng.html
-Matt Kaufman      (University of Texas at Austin)
+Matt Kaufmann     (University of Texas at Austin)
    http://www.cs.utexas.edu/~kaufmann/
 Gerwin Klein      (NICTA)
    http://www.cse.unsw.edu.au/~kleing/
@@ -48,7 +48,7 @@
 Christian Urban   (King's College London)
 Dimitrios Vytiniotis (Microsoft Research Cambridge)
    http://research.microsoft.com/en-us/people/dimitris/
-Xingyuan Zhang    (PLA University of Science and Technology Nanjing)
+Xingyuan Zhang    (PLA University of Science and Technology)
 (25)