11th Theorem Proving and Provers (TPP)

日程 (Date)

2015-09-16 (Wed), 17 (Thu)

Program

Link to the program (contains further links to the slide of some (most) talks)

※当日配布したプリント

場所 (Venue)

神奈川大学 湘南ひらつかキャンパス 11号館 サーカムホール (平塚キャンパス内の地図)

Kanagawa University, Shonan-Hiratsuka Campus, Build. 11 Circum Hall (map)

ご注意：横浜キャンパスではありません。

Caution: Do not confuse Shonan-Hiratsuka with Yokohama Campus

〒259-1293 神奈川県平塚市土屋2946 Tsuchiya 2946, Hiratsuka-shi, Kanagawa, 259-1293

Phone:0463-59-4111(代)

主催 (Host)

神奈川大学 プログラミング科学研究所

Programming Science Laboratory, Kanagawa University

過去のTPP (Past TPP meetings)

問い合わせ先 (Inquiries)

神奈川大学 理学部情報科学科 木下佳樹研究室

Dept. of Information Sciences, Kanagawa University

松本佳子

Yoshiko Matsumoto

Phone：0463-59-4111

Mail ：yoshiko@progsci.info.kanagawa-u.ac.jp

懇親会のお知らせ - Sep 14, 2015 2:45:3 AM