# HG changeset patch # User Christian Urban # Date 1432661909 -3600 # Node ID 2aa7e50835ff121f7b1602f2fe0bc72a74fe99a4 # Parent 8b0108296d45dc3d0d371d02bf57bbb7e2312030 updated diff -r 8b0108296d45 -r 2aa7e50835ff index.html --- 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 Yangzhou and the Slender West Lake. -

Programme Committee

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Andrea Asperti	University of Bologna, Italy
Jesper Bengtson	IT University of Copenhagen, Denmark
Stefan Berghofer	Secunet Security Networks AG, Germany
Yves Bertot	INRIA, France
Lars Birkedal	Aarhus University, Denmark
Sandrine Blazy	University of Rennes, France
Bob Constable	Cornell University, USA
Thierry Coquand	University of Gothenburg, Sweden
Xinyu Feng	University of Science and Technology, China
Ruben Gamboa	University of Wyoming, USA
Herman Geuvers	Radboud University Nijmegen, The Netherlands
Mike Gordon	Cambridge University, United Kingdom
Elsa Gunter	University of Illinois, Urbana-Champaign, USA
John Harrison	Intel Corporation, USA
Hugo Herbelin	INRIA, France
Matt Kaufmann	University of Texas at Austin, USA
Gerwin Klein	NICTA, Australia
César Muñoz	NASA Langley Research Center, USA
Tobias Nipkow	TU München, Germany
Michael Norrish	NICTA, Australia
Scott Owens	University of Kent, United Kingdom
Randy Pollack	Harvard University, USA
Carsten Schürmann	IT University of Copenhagen, Denmark
Konrad Slind	Rockwell Collins, USA
Alwen Tiu	Nanyang Technological University, Singapore
Christian Urban (co-chair)	King's College London, United Kingdom
Dimitrios Vytiniotis	Microsoft Research Cambridge, United Kingdom
Xingyuan Zhang (co-chair)	PLA University of Science and Technology, China

Travel to Nanjing

@@ -348,8 +259,6 @@ Nanjing's Confucius Temple. - -

Excursion

The excursion will be to @@ -362,8 +271,95 @@ will finish with a dinner in the well-known Fuchun restaurant. -

Nanjing

+ +

Programme Committee

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +

Andrea Asperti	University of Bologna, Italy
Jesper Bengtson	IT University of Copenhagen, Denmark
Stefan Berghofer	Secunet Security Networks AG, Germany
Yves Bertot	INRIA, France
Lars Birkedal	Aarhus University, Denmark
Sandrine Blazy	University of Rennes, France
Bob Constable	Cornell University, USA
Thierry Coquand	University of Gothenburg, Sweden
Xinyu Feng	University of Science and Technology, China
Ruben Gamboa	University of Wyoming, USA
Herman Geuvers	Radboud University Nijmegen, The Netherlands
Mike Gordon	Cambridge University, United Kingdom
Elsa Gunter	University of Illinois, Urbana-Champaign, USA
John Harrison	Intel Corporation, USA
Hugo Herbelin	INRIA, France
Matt Kaufmann	University of Texas at Austin, USA
Gerwin Klein	NICTA, Australia
César Muñoz	NASA Langley Research Center, USA
Tobias Nipkow	TU München, Germany
Michael Norrish	NICTA, Australia
Scott Owens	University of Kent, United Kingdom
Randy Pollack	Harvard University, USA
Carsten Schürmann	IT University of Copenhagen, Denmark
Konrad Slind	Rockwell Collins, USA
Alwen Tiu	Nanyang Technological University, Singapore
Christian Urban (co-chair)	King's College London, United Kingdom
Dimitrios Vytiniotis	Microsoft Research Cambridge, United Kingdom
Xingyuan Zhang (co-chair)	PLA University of Science and Technology, China