coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] ITP 2015 Call for Participation

From: Christian Urban <christian.urban AT kcl.ac.uk>
To: <cl-isabelle-users AT lists.cam.ac.uk>, <hol-info AT lists.sourceforge.net>, <coq-club AT inria.fr>, <types-announce AT lists.seas.upenn.edu>, <acl2 AT utlists.utexas.edu>, <nuprl AT cs.cornell.edu>
Subject: [Coq-Club] ITP 2015 Call for Participation
Date: Mon, 13 Jul 2015 01:47:10 +0100
Authentication-results: cs.cornell.edu; dkim=none (message not signed) header.d=none;
Spamdiagnosticmetadata: NSPM
Spamdiagnosticoutput: 1:23

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)

[Coq-Club] ITP 2015 Call for Participation, Christian Urban, 07/13/2015