イベント

「イベント」の編集履歴(バックアップ)一覧はこちら

イベント」(2010/06/27 (日) 13:28:58) の最新版変更点

追加された行は緑色になります。

削除された行は赤色になります。

形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。 イベント参加結果はぜひ、[[ご報告>>http://groups.google.co.jp/group/fm-forum]]ください。 -[[2010/8/23-30 2nd Asian-Pacific Summer School on Formal Methods@北京>>http://formes.asia/cms/coqschool/2010#Program]] -[[2010/8/9-10 第二回層圏トポス合宿(8月9日-10日)@代々木オリンピックセンター>>http://atnd.org/events/4040]] -[[2010/7/11-14 ITP2010(Interactive Theorem Proving)>>http://www.floc-conference.org/ITP-home.html]] -[[2010/7/12 13:00-17:00 Alloyセミナー@名古屋]] -[[2010/6/9-11 >> http://www.ss-2010.org/home]] ソフトウェア・シンポジウム 2010 横浜 -[[2010/5/12 形式手法徹底解説@ESEC >>http://www.esec.jp/]] -[[2010/4/29 第4回Formal Methods 勉強会>>http://atnd.org/events/4110]] -[[2010/4/25 Proof Cafe(栄) >>http://atnd.org/events/3867]] -[[2010/4/17 CLTT読書会 >>http://atnd.org/events/3725]] -[[2010/4/16 Haskellers Meeting 2010 Spring>>http://atnd.org/events/3820]] -[[2010/4/10 第3回Formal Methods 勉強会>>http://atnd.org/events/3687]] -[[2010/3/26 トップエスイーチュートリアル「分散モデル検証実践」>>http://www.topse.or.jp/docs/?q=node/10]] -[[2010/3/20 CLTT読書会 第0回>>http://atnd.org/events/3373]] -[[2010/3/18 システム検証研究センター最終報告会>>http://unit.aist.go.jp/cvs/final.html]] -[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]] -[[2010/3/13 計算機言語で定理証明>>http://atnd.org/events/2989]] -[[2010/3/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]] -[[2010/3/10 第2回Formal Methods 勉強会>>20100310]] -[[2010/3/10 第4回CSP研究会@東洋大学]] -[[2010/3/03-05 PPLプログラミングおよびプログラミング言語ワークショップ 2010>>http://isw3.kankyo-u.ac.jp/ppl2010/]] -[[2010/2/25 そこが聞きたい医療機器ソフトウェア規格 IEC 62304:2006セミナー>>http://www.techmatrix.co.jp/es/seminar/qu/ctest_20100225.html]] -[[2010/2/24 第18回JASA/ETセミナー 第5回 「国際規格に基づく機械安全設計及び宇宙分野のソフトウェア安全確保の取り組み」>>http://www.jasa.or.jp/top/activity/jevent/44th_detail.html]] -[[2010/2/22-25 ABZ2010>>http://abzconference.org/]] -[[2010/2/08 第1回Formal Methods勉強会>>開催記録]] -[[2009/12/14-15 第6回ディペンダブルシステムシンポジウム(dss2009)>>http://www.osss.cs.tsukuba.ac.jp/dss2009/]] -[[2009/11/24-25 鉄道業界向け機能安全セミナー (EN5012X, EN5015X)>>http://www.tuv-sud.jp/infoservice/0911_op_fs_rail.html]] -[[2009/09/09 第9回システム検証セミナー 『変化(進化)する検証』>>http://www.veriserve.co.jp/seminar2009/]] -[[----/--/-- 自動車向け 仮想ECU複合検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_auto1.html]] -[[----/--/-- 自動車ECU開発向け モデルベース開発ソフト検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_mcc1.html]]
形式手法に関係したセミナー、勉強会、学会などありましたらどんどん追加してください。 イベント参加結果はぜひ、[[ご報告>>http://groups.google.co.jp/group/fm-forum]]ください。 -[[2010/8/29 Coq庵@名古屋>>http://atnd.org/events/6022]] -[[2010/8/23-30 2nd Asian-Pacific Summer School on Formal Methods@北京>>http://formes.asia/cms/coqschool/2010#Program]] -[[2010/8/9-10 第二回層圏トポス合宿(8月9日-10日)@代々木オリンピックセンター>>http://atnd.org/events/4040]] -[[2010/7/11-14 ITP2010(Interactive Theorem Proving)>>http://www.floc-conference.org/ITP-home.html]] -[[2010/7/12 13:00-17:00 Alloyセミナー@名古屋]] -[[2010/6/9-11 >> http://www.ss-2010.org/home]] ソフトウェア・シンポジウム 2010 横浜 -[[2010/5/12 形式手法徹底解説@ESEC >>http://www.esec.jp/]] -[[2010/4/29 第4回Formal Methods 勉強会>>http://atnd.org/events/4110]] -[[2010/4/25 Proof Cafe(栄) >>http://atnd.org/events/3867]] -[[2010/4/17 CLTT読書会 >>http://atnd.org/events/3725]] -[[2010/4/16 Haskellers Meeting 2010 Spring>>http://atnd.org/events/3820]] -[[2010/4/10 第3回Formal Methods 勉強会>>http://atnd.org/events/3687]] -[[2010/3/26 トップエスイーチュートリアル「分散モデル検証実践」>>http://www.topse.or.jp/docs/?q=node/10]] -[[2010/3/20 CLTT読書会 第0回>>http://atnd.org/events/3373]] -[[2010/3/18 システム検証研究センター最終報告会>>http://unit.aist.go.jp/cvs/final.html]] -[[2010/3/15-17 先端ソフトウェア工学に関するGRACE国際シンポジウム2010>>http://events.grace-center.jp/symposium/2010/]] -[[2010/3/13 計算機言語で定理証明>>http://atnd.org/events/2989]] -[[2010/3/11 Software Japan2010>>http://www.ipsj.or.jp/10jigyo/forum/software-j2010/program-ipa_sec.html]] -[[2010/3/10 第2回Formal Methods 勉強会>>20100310]] -[[2010/3/10 第4回CSP研究会@東洋大学]] -[[2010/3/03-05 PPLプログラミングおよびプログラミング言語ワークショップ 2010>>http://isw3.kankyo-u.ac.jp/ppl2010/]] -[[2010/2/25 そこが聞きたい医療機器ソフトウェア規格 IEC 62304:2006セミナー>>http://www.techmatrix.co.jp/es/seminar/qu/ctest_20100225.html]] -[[2010/2/24 第18回JASA/ETセミナー 第5回 「国際規格に基づく機械安全設計及び宇宙分野のソフトウェア安全確保の取り組み」>>http://www.jasa.or.jp/top/activity/jevent/44th_detail.html]] -[[2010/2/22-25 ABZ2010>>http://abzconference.org/]] -[[2010/2/08 第1回Formal Methods勉強会>>開催記録]] -[[2009/12/14-15 第6回ディペンダブルシステムシンポジウム(dss2009)>>http://www.osss.cs.tsukuba.ac.jp/dss2009/]] -[[2009/11/24-25 鉄道業界向け機能安全セミナー (EN5012X, EN5015X)>>http://www.tuv-sud.jp/infoservice/0911_op_fs_rail.html]] -[[2009/09/09 第9回システム検証セミナー 『変化(進化)する検証』>>http://www.veriserve.co.jp/seminar2009/]] -[[----/--/-- 自動車向け 仮想ECU複合検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_auto1.html]] -[[----/--/-- 自動車ECU開発向け モデルベース開発ソフト検証定期セミナー>>http://www.gaio.co.jp/event/regular/sem_mcc1.html]]

表示オプション

横に並べて表示:
変化行の前後のみ表示:
ツールボックス

下から選んでください:

新しいページを作成する
ヘルプ / FAQ もご覧ください。