Dear All,
The dinner following the seminar below on 20 March will be held at a Japanese-style restaurant near the station TX Tsukuba. If you would attend the dinner, please email me [email protected] by This Friday, 13 March, for booking the tables.
Regards,
Takeuti Izumi [email protected]
各位
２０日（金）の下記セミナーの懇親会は ＴＸつくば駅前の和食居酒屋で開催します。 参加される方は、席の予約の為、今週の金曜（１３日）までに [email protected] に電子メールを下さいますようお願いします。
産総研 竹内泉 [email protected]
| 皆様、産総研の山形です。重複して案内を受け取られた方にはお詫 | びいたします。 | | 下記の内容で、形式手法の実践的な側面に焦点を当てたセミナーを | 開催いたします。どなたでも参加できますが、参加される方は前日 | までに山形までご一報下さい。特にお車で参加される方はその旨お | 伝えください。 | | Dear everyone, I am pleased to announce "AIST Seminar on Software | Reliability". This is a seminar on formal methods which is focused on | industrial applications. The seminar is open to everyone, but | please let me know by 3/19 if you want to join. In particular, if you | come by a car, please let me know. | | AIST Seminar on Software Reliability | date: Mar 20, 2015 | Place: National Institute of Advanced Industrial Science and | Technology (AIST), Tsukuba central, AIST Tsukuba Headquarters and | Information Technology Collaborative Research Center | Map: http://www.aist.go.jp/aist_e/guidemap/tsukuba/tsukuba_map.html | http://www.aist.go.jp/aist_e/guidemap/tsukuba/center/tsukuba_map_c.html | | | 14:00 - 14:45 Survey on concurrent model checkers, Yoriyuki Yamagata | 14:45 - 15:00 Discussion | 15:00 - 15:15 Break | 15:15 - 16:00 Using Model Checking and Theorem Proving to Validate and Verify | Cyber-Physical Systems, Chen-wei Wang | 16:00 - 16:15 Discussion | 16:15 - 16:30 Break | 16:30 - 17:15 Applications of Model Checking on Different Systems | using PAT, Liu Yang | 17:15 - 17:30 Discussion | 18:30 - Dinner