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
| 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) | | | | | |