Email Gateway (Aug 22 2022 at 10:51): Email Gateway (Aug 22 2022 at 10:51):From: Christian Urban <christian.urban@kcl.ac.uk>
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)
Last updated: Apr 25 2024 at 08:20 UTC