[logic-ml] AIST Seminar on Software Reliability

[takeuti at kuis.kyoto-u.ac.jp]

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 <takeuti at ni.aist.go.jp> by This Friday,
13 March, for booking the tables.

Regards,

Takeuti Izumi
takeuti at ni.aist.go.jp

各位

２０日（金）の下記セミナーの懇親会は
ＴＸつくば駅前の和食居酒屋で開催します。
参加される方は、席の予約の為、今週の金曜（１３日）までに
   takeuti at ni.aist.go.jp
に電子メールを下さいますようお願いします。

産総研
竹内泉
takeuti at ni.aist.go.jp

| 皆様、産総研の山形です。重複して案内を受け取られた方にはお詫
| びいたします。
| 
| 下記の内容で、形式手法の実践的な側面に焦点を当てたセミナーを
| 開催いたします。どなたでも参加できますが、参加される方は前日
| までに山形までご一報下さい。特にお車で参加される方はその旨お
| 伝えください。
| 
| 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