◆□◆GRACEメールマガジン2013/2/1 第28号◆□◆
————————–
GRACEメールマガジンは、GRACEセンターのセミナー、
イベント情報、研究資料や出版物などの
最新情報を適宜まとめて月1回程度電子メールで
お届けするものです。
————————–
===========================================================
◆◆第65回GRACEセミナー ～ PATモデル検査ツールの最新動向 ～◆◆
===========================================================
この程、形式手法で世界のトッププラスの会議(CAV, FMなど)に多数の研究を発
表されている NIIの客員准教授のJin-Song Dong博士に講演を頂くことになりま
した。Dong博士は、確率付きモデル検査ツール(PAT)の開発者でもあり、その最
新動向をご紹介頂く予定です。皆様のご参加をお待ちしいたしております。
【日時】2013年2月7日（木）13:00-14:00
【会場】国立情報学研究所(NII) 20階 ミーティングルーム1・2（2009・2010）
〒101-8430 東京都千代田区一ツ橋2-1-2
[http://www.nii.ac.jp/about/access/]
【主催】NII 先端ソフトウェア工学・国際研究センター
(GRACEセンター)
[http://grace-center.jp/]
【参加費】無料
※講演は英語で行われます.
参加ご希望の方は，下記よりご登録をお願いいたします:
http://form1.fc2.com/form/?id=628975
【お問い合わせ先】
石川冬樹(seminar-steering_AT_grace-center.jp)
_AT_を＠に書き換えてください。
—————————————————————–
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.
—————————————————————-
=======================================================
◆産学連携 IT人材育成シンポジウム(2/27)のご案内【後援】
=======================================================
日時：2013年2月27日(水)13：00-17:30(受付開始: 12:30)
会場：秋葉原UDX 4階 GALLERY NEXT-1
概要：
2012年5月、経済産業省と文部科学省の政策である産学人材育成パートナー
シップ情報処理分科会の結論を受けて、独立行政法人 情報処理推進機構（略
称：IPA）は、自立的な産学連携によるIT人材の育成を支援する「ハブ」機能を
果たすべく、情報共有と相互連携の促進、産学連携活動の普及・拡大への支援を
行ってまいりました。
今般、産学連携による実践的講座の開設・運営に関するノウハウをガイドと
してまとめました。このガイドの活用により、実践的講座の拡大・質向上に役立
てていただくことを企図しています。また、講座開設を支援する情報源である
「産学連携IT人材育成プラットフォーム」の活用によるマッチング体制構築の支
援に向けて、地域連携団体相互の情報提供・共有のコミュニティを形成しました。
支援活動の成果として「実践的講座構築ガイド」や「地域産学連携講座コ
ミュニティ」活動状況、更に高等教育機関に無償でご利用いただける「汎用的教
育コンテンツ」のラインアップ充実等をご紹介するシンポジウムを開催いたしま
す。実践的講座の構築ノウハウをご紹介し、皆様のご意見をお聴きする意見交換
の場といたし度、教育機関、企業、地域連携団体の方々のご参加をお待ちしてお
ります。
プログラム：
■1 13:00～13:15
開会の挨拶
経済産業省 文部科学省 情報処理推進機構（IPA）
■2 13:15～13:25
産学連携実践的講座の自立的推進について
～推進ハブとしてのIPA の活動紹介～
(大島 信幸 IPA 産学連携推進センター長)
■3 13:25～13:40
産学連携実践的講座構築ガイドの概要
(上野 新滋 産学連携講座連絡会委員長
（株）FUJITSUユニバーシティ産学官連携グループ長)
13:40～15:40
[実施ノウハウの紹介]
～講座形態・目的によるテーマ別実施ノウハウの紹介～
・プロジェクト型演習
PBLのような体験から学ぶ学習スタイルの講座設計と制約条件整理
(大場みちこ 公立はこだて未来大学 教授)
・遠隔教育
新しい授業手法としてのリアル遠隔授業の可能性と限界、留意点
(小林 真也 愛媛大学 教授)
・キャリア教育
社会人基礎力としての「考え抜く力」にフォーカスした講座モデル
(牧野 光則 中央大学 教授)
・評価基準活用モデル
実践力の修得を産学共通のコンピテンシーで評価するモデル提言
(神沼 靖子 情報処理学会フェロー)
■休憩 15:40～16:00
■4 16:00～16:10
地域産学連携講座コミュニティの活動紹介
～地域の産学連携による人材育成活動の紹介～
(粂野 文洋 国立情報学研究所 特任教授 日本工業大学 准教授）
16:10～17:00
[コミュニティ参加団体の活動紹介]（候補）
・宮城県情報サービス産業協会
・福島県情報産業協会
・いばらきIT人材開発センター
・山口県情報産業協会
■5 17:00～17:30
IT材育成プラットフォームの利活用紹介と意見交換
(大島 信幸 IPA 産学連携推進センター長)
■閉会の挨拶 17:30
プログラムは変更になる場合があります。最新の情報はhttp://www.ipa.go.jp
/jinzai/renkei/event_2012/symposium.htmlをご覧ください
参加費：無料
参加申込方法：
以下のページをご参照ください。
http://www.ipa.go.jp/jinzai/renkei/event_2012/symposium.html
定員：150名
主催：独立行政法人 情報処理推進機構
後援(予定)：
経済産業省
文部科学省
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所
特定非営利活動法人 高度情報通信人材育成支援センター
一般社団法人 コンピュータソフトウェア協会
公益社団法人 私立大学情報教育協会
実践的ソフトウェア教育コンソーシアム
一般社団法人 情報サービス産業協会
一般社団法人 情報処理学会
一般社団法人 全国専門学校情報教育協会
一般社団法人 電子情報技術産業協会
一般社団法人 電子情報通信学会
一般社団法人 日本情報システム・ユーザー協会
お問合せ窓口：
独立行政法人 情報処理推進機構 IT人材育成本部 産学連携推進センター
TEL：03-5978-7536 e-mail：iac-event_sangaku@ipa.go.jp
=======================================================
□編集後記□
●GRACEメールマガジンの 第28号をお届けしました。
ご意見、ご感想は、GRACEセンター事務局 (secretariat@grace-center.jp)
までお願いいたします。
●GRACEメールマガジンの購読解除、バックナンバーに
ついては、下記のURLをご覧ください。
http://grace-center.jp/mailmagazine
