Theorem Proving and Provers (TPP) Meeting, Nov 20-21, 2009

Japanese version

date: Nov. 20(Fri) - 21(Sat), 2009
venue: Kwansei Gakuin University Kobe Sanda Campus Building IV, 2F #212(20th) and #211(21st)

Accomodation

Event

Program

Registration

If you are planning to attend the meeting, please send the information to ktaka( at )kwansei.ac.jp below. 
-------------------------------------------------------------------------
Your Name:
Will you give a talk?:      Yes/No
Will you attend the party?: Yes/No
Title of your talk: (If it is not decided yet, TBA is OK.)
-------------------------------------------------------------------------

Contact



Last Updated on November 17, 2009. Kazuko TAKAHASHI