Linggusi pagoda

Mochou Lake Park

Nanjing city wall

"Elephant Road" of the
Ming tomb

Nanjing's skyline

Science and Technology
Museum

ITP 2015 is the sixth conference on Interactive Theorem Proving and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. The inaugural meeting of ITP was held on 11-14 July 2010 in Edinburgh, Scotland, as part of the Federated Logic Conference (FLoC, 9-21 July 2010). ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving. TPHOLs meetings took place every year from 1988 until 2009.