NEWS&TOPICS

SAFECOMP 2011開催案内

MRI

情報源

http://www.fmeurope.org/?p=387

発表日

2011年1月11日

実施時期

2011/9/19-21

実施者等

Formal Method Europa / IEEE

概要

コンピュータの安全性、信頼性、セキュリティに関する国際会議 SAFECOMP 2011 が、今年は9月19日から21日にイタリア・ナポリで開催される。キーテーマは「コンピュータ・システムとインフラに関する安全とセキュリティ:リスク評価から脅威の緩和まで」。会報はSpringer-Verlagから出版され、優れた投稿はthe International Journal on Reliability Engineering and System Safety (RESS) の特別号に収録される。アブストラクトの投稿締切は2月27日。

キーノートスピーチはNASA / JPL Laboratory for Reliable SoftwareのGerard J. Hozmann氏。SPINモデルチェッカーの開発者として知られている。

このページの先頭へ戻る