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

懇親会のお知らせ

2015/09/13 19:45 に 松本佳子 が投稿   [ 2015/09/15 22:50 に更新しました ]

9/16(水)19:00~
会場:旬の肴と旨い酒 運勘根(平塚駅北口徒歩5分)
   神奈川県平塚市紅谷町14-24 B1(TEL 050-5799-0214)
会費:7,000円(学部生・大学院生は3,000円) *開催1日目にお支払いくださいますようお願いいたします。

2015-07-31

2015/07/30 8:48 に 木下佳樹 が投稿

TPP Mark 11 をアップロードしました。

2015-4-24 サイト公開

2015/04/22 17:54 に 松本佳子 が投稿


1-3 of 3