[TYPES/announce] ITP 2015 Call for Participation

[Christian Urban]

Please find the ITP 2015 Call for Participation below.

***************************************************************
The 6th International Conference on Interactive Theorem Proving

          24 - 27 August 2015 in Nanjing, China
    
    http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/

Isabelle and Coq tutorials before and after the main conference
***************************************************************  


ITP is the premier international conference for researchers from 
all areas of interactive theorem proving and its applications. 
The pc accepted 30 papers this year

  http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/accepted.html


There will be invited talks by

  Lars Birkedal
  Michael Norrish

There will be a three-day Isabelle tutorial before the conference
and a three-day Coq tutorial after the conference.

  http://www21.in.tum.de/~nipkow/isa-tut-itp15.html
  http://www.strub.nu/coq-itp-15


ALL RECENT INFO and ON-LINE REGISTRATION can be found at:

   http://www.inf.kcl.ac.uk/staff/urbanc/itp-2015/  

If you need any help with travelling and staying inside
China, we try our best to help.



    Xingyuan Zhang and Christian Urban
    (ITP 2015 co-chairs)