Theorem proving and provers for reliable theory

and implementations (TPP2014)

Japanese page is here.

TPP2014

Information

The workshop Theorem Proving and Provers for Reliable Theory and Implementations will be held on December 3rd(Wed)-5th(Fri) at Nishijin Plaza, Kyushu University. TPP (Theorem Proving and Provers Meeting) is held every year since 2005, and provides a forum to exchange ideas for both users and implementors of theorem provers and proof assistants. This is the tenth anniversary workshop.
Workshop Report:
Theorem proving and provers for reliable theory and implemaentations」(PDF 7.4MB)
(Y.Mizoguchi, J.Garrigue, M.Hagiwara, R.Affeldt, ed.)
,
MI Lecture Notes, Vol.61, Kyushu University, 138pages, 2015/03/06.

Date

Venue

TPPmark2014(Problem)

Invited Speakers

Program

Submission/Questions

Comittee

Organizer

Institute of Mathematics, Kyushu University
Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University.

Co-organizer

Coop with Math Program, The Institute of Statistical Mathematics
Coop with Math Program, The Institute of Statistical Mathematics

Supporter

The Institute of Electronics, Information and Communication Engineers IEICE Kyushu Section

* This workshop is supported by in part by JSPS KAKENHI(Grant-in-Aid for Exploratory Research) Grant Number 25610034 and 25289118.

Past TPP's