Theorem Proving and Provers (TPP) Meeting

Theorem Proving and Provers (TPP) Meeting, 29-30th November 2006, JAIST

Date: 29th(Wed)/30th(Thu), November 2006
Place: JAIST 情報科学研究科棟II・Collaboration Room 7 (5F)

Program : 29th November

13:30-17:30

櫻田英樹 (NTT) Computational Soundness of Symbolic Blind Signature
河辺義信 (NTT) Theorem-proving privacy and anonymity
西崎真也 (東工大) Toy Web based Prover
Li Guoqiang (JAIST) On-the-fly Model Checking Security Protocols by Maude

17:30-18:00 次回開催の相談
19:00- 懇親会鰯組 076-224-1493 (5000-6000 JPY per person)

Program : 30th November

10:30-12:30

磯部祥尚（AIST） A Complete Axiom System for the CSP Stable-Failures Model (presented at CONCUR 2006)
佐藤雅彦（京大） Semantics of Syntax 板書１板書２

13:30-14:50

高橋孝一（AIST）（湯浅能史田辺良則関澤俊弦武山誠と共同）自動証明系と定理証明支援系の連携によるポインタ操作プログラムの検証について
南出靖彦（筑波大） XML Validation for Context-Free Grammars (presented APLAS2006)

15:00-15:45

木下佳樹（AIST） idata in Agda

Attendances

佐藤雅彦（京大）
中原早生（広島大）
西崎真也 (東工大)
亀山幸義（筑波大）
南出靖彦（筑波大）
木下佳樹（AIST）
大崎人士（AIST）
高橋孝一（AIST）
磯部祥尚（AIST）
西澤弘毅（AIST）
清野貴博（AIST）
加藤紀夫（AIST）
河辺義信 (NTT)
櫻田英樹 (NTT)
二木厚吉 (JAIST)
緒方和博 (JAIST)
中村正樹 (JAIST)
小野寛晰（JAIST）
小川瑞史 (JAIST)
Li Guoqiang (JAIST)
Li Xin (JAIST)
Liu Bochao (JAIST)
Kong Weiqiang (JAIST)

Next TPP

2 days or 3 days meeting in the last week (26th-30th) of November 2007.
Organizers will be Yasuhiko Minamide and Yukiyoshi Kameyama (Tsukuba Univ.).

Previous TPP

1st TPP (JAIST、2005年11月28日～29日）

JAISTへのアクセス

JAIST 13:30 着（from 東京・大阪）

羽田空港 10:45 (JAL1275)→小松空港 11:50/野々市車庫行きリムジンバスに接続(0番乗場）、13:00前後に JAIST到着
大阪 9:42（サンダーバード11号）→金沢12:17/12:33→西金沢12:37 西金沢12:41→鶴来13:02/13:04（シャトルバス）→JAIST 13:15

金沢からの往復（北陸鉄道・鶴来でJAISTシャトルに接続）

(JAIST 9:30着) 野町 8:51→JAIST 9:31
(JAIST 10:30着) 野町9:37 →JAIST 10:15
(金沢行き直通バス) JAIST 17:45→香林坊18:37

JAIST 17:00前後発（to 東京・大阪）

JAIST 17:23（リムジンバス）→小松空港18:00/18:50(JAL1280)→羽田空港19:55
JAIST 16:57→鶴来17:08/17:15→西金沢 17:36/17:40→金沢17:45/17:57 （サンダーバード44号）→大阪20:36
JAIST 17:29→鶴来17:40/17:46→西金沢 18:10/18:21→小松 18:53/19:00 （サンダーバード46号）→大阪21:22