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)
------------------------------------------------------------------------------
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
