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モデルチェッカーの開発者として知られている。