(sigemb-info 708) 参加募集：PATモデル検査ツールの最新動向セミナー(2/7)

[Nobukazu Yoshioka <nobukazu@xxxxxxxxx>]

ＳＩＧ ＥＭＢの皆様、

本ＭＬをお借りして、2/7にＮＩＩで開催する「PATモデル検査ツールの最新動向」
に関するGRACEセミナーのご案内をお送りいたします。
本セミナーでは、CAV, FMなど形式手法で世界のトッププラスの会議に多数の
研究を発表されている Jin-Song Dong博士(NIIの客員准教授)に講演を頂きます。
Dong博士は、確率付きプロセスのモデル検査ツール(PAT)の開発者でもあり、
その最新動向をご紹介頂く予定です。
皆様のご参加をお待ちしいたしております。--吉岡(NII)
	
◆第64回GRACEセミナー開催 〜 PATモデル検査ツールの最新動向 〜
   http://grace-center.jp/2013/02/3628
【日時】2013年2月7日（木）13:00-14:00
【会場】国立情報学研究所(NII) 20階 ミーティングルーム1・2（2009/2010）
   http://www.nii.ac.jp/about/access/
【内容】
Title: Recent Progress on PAT Model Checking Systems
Speaker: Jin-Song Dong, the National University of Singapore (NUS)

Abstract:
This seminar reports latest progress made on PAT model checking
systems (http://pat.comp.nus.edu.sg). PAT is a self-contained
framework for system modelling, simulation and verification. PAT
integrates and significantly extends a variety of state-of-the-art
model checking techniques, ranging from customizable system modelling,
user-definable abstraction, to highly optimized model checking
algorithms. It has become a powerful toolkit for system analysis.
Since PAT was made available online 5 years ago, it has attracted more
than 2400 registered users from more than 550 organizations in 60
countries, including research institutes like Microsoft Research,
Oxford University, MIT as well as industrial companies like Sony and
Hitachi. In addition, it has been adopted to teach system modelling
and verification techniques or model checking itself in multiple
universities worldwide.

Biography:
Jin-Song Dong received Bachelor and PhD degrees in computing from the
University of Queensland in 1992 and 1996. From 1995-1998, he was a
Research Scientist at the Commonwealth Scientific and Industrial
Research Organization (CSIRO) in Australia. Since 1998 he has been in
the Computer Science Department at the National University of
Singapore (NUS) where he is currently an Associate Professor. He has
been a visiting faculty at NII and visiting fellow at Oxford. He is on
the editorial board of Formal Aspects of Computing and Innovations in
Systems and Software Engineering. Jin Song is steering committee
member of the International Conference on Formal Engineering Methods
(ICFEM) and the Asia Pacific Software Engineering Conference (APSEC).
He is the General Chair for upcoming conferences the18th ICECCS 2013
and the 19th FM 2014.


【参加費】無料
　参加ご希望の方は，下記よりご登録をお願いいたします:

   http://grace-center.jp/2013/02/3628

【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。

【主催】国立情報学研究所 ＧＲＡＣＥセンター
【協賛】NPO法人 トップエスイー教育センター