Institute of Mathematics for Industry

Workshops & Conferences



List of workshops & conferences

Theorem proving and provers for reliable theory and implementations (TPP2014)


Hold Date 2014-12-03 10:00~2014-12-05 17:00

Place Nishijin Plaza, Kyushu University

Theorem proving and provers for reliable theory and implementations (TPP2014)
URL:http://imi.kyushu-u.ac.jp/lasm/tpp2014/index.html

TPP is held every year since 2005, and provides a forum to exchange ideas for both users and implementors of theorem provers and proof assistants.

 Co-organizer
 Laboratory of Advanced Software in Mathematics, Institute of Mathematics for Industry, Kyushu University
  Coop with Math Program, The Institute of Statistical Mathematics.
 
 Date December 3(Wed) - 5(Fri), 2014
 
 Place  Nishijin Plaza, Kyushu University
 2-16-23 Nishijin, Sawara-ku, Fukuoka City, JAPAN
 
 Submission &
 Questions to
 tpp2014 at imi.kyushu-u.ac.jp
(Yoshihiro MIZOGUCHI (IMI, Kyushu University))
 
 Program  Invited Speakers
 ・Adam Chlipala (MIT, USA)
 ・Cyril Cohen (Univ. Gothenburg, Sweden)

 Speakers
 ・Taro KURITA (FeliCa Networks, Inc.)
 ・Kazushi AHARA (Meiji University)
 ・Yoshihiro IMAI (IT Planning, Inc.)
 ・Shunsuke YATABE (West Japan Railway Company)
 ・etc.
 
 Website  TPP2014 Website
 
 Organizer  Yoshihiro MIZOGUCHI (IMI, Kyushu University), Garrigue Jacques (Nagoya University)
 Manabu HAGIWARA(Chiba University), AFFELDT Reynald (AIST)