ITP 2015 - 6th conference on Interactive Theorem Proving

The 6th conference on Interactive Theorem Proving will be held in Nanjing, China. Nanjing is situated in the heart of China ? close to Shanghai and roughly equidistant between Beijing and Hong Kong. It is a former capital during the Ming Dynasty with a rich cultural heritage. We expect to have more information about travelling and a detailed programme nearer the time. The proceedings will be published as usual in the LNCS Series.
Tentative Programme
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 of research presentations and invited talks. Like in previous conferences, we will allow ample time between the formal sessions for attendees to mingle and converse. Half a day will be dedicated to an excursion.
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 Havard 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
Nanjing is a major city in China. There are international airline connections directly to Nanjing Lukou Airport and via transfer at airports in Hong Kong, Beijing, Shanghai and many others. There are also very convenient train connections from Shanghai and Beijing, which take slightly more than 1h from Shanghai and about 4h from Beijing. Travel within Nanjing can be done cheaply via taxi and public transport. We will post detailed travel instructions nearer the time.