形式手法に関する国際会議FM2011開催
MRI
情報源
http://sites.lero.ie/fm2011
概要
形式手法に関する代表的な国際会議 FM2011(International Symposium on Formal Methods)が、2011年6月20日～24日までアイルランドのリメリックで開催された。FM2011の主なトピックには、形式手法の産業応用やツールなど実践に関するもの、ソフトウェア工学、システム工学における形式手法の役割、理論的基礎、教育などが含まれる。FM2011はメイン会議の他に、産業界における適用経験を共有するための会議 Industry Day や、個別のテーマを扱う複数のワークショップ、チュートリアルなどから構成される。メイン会議では、近年欧米で取り組まれている研究テーマであるサイバーフィジカルシステム(CPS：Cyber Physical Systems)に関する招待講演やセッションが設定されるなど、注目が集まっている。FM2011は、Formal Methods Europe(FME)が主催する会議で、17回目の開催である。
このページの先頭へ戻る