Search for
google

ソフトウェア形式手法分野へようこそ！


CafeOBJ キューブ
(CafeOBJ 公式ページ)
ニュースとお知らせ

先端講義 Formal Methods (i613)（講師：二木・緒方）開講中（12/3 - 2/5）

2009/09/12 本研究室所属の志村北斗君が,平成21年度電気関係学会北陸支部連合大会において，「HTTP Mutualにおける相互認証過程の形式化」を発表しました．
2009/07/08 2009年度 本配属学生 新歓コンパが行われました．今後ともよろしくお願いします．
2009/06/06 2009年度 オープンキャンパスが行われました．
2008/07/02 2008年度 本配属学生 新歓コンパが行われました．今後ともよろしくお願いします．
2008/05/09 研究室紹介が行われました． 研究室紹介スライド(pdf)
2008/04/23 2008年度 新歓コンパが行われました．今後ともよろしくお願いします．
2008/03/21 平成19年度の学位記授与式が行われ，本講座からは博士後期課程のJittisak SENACHAK君を始め，後期課程1名，前期課程3名（＋緒方研1名）がそれぞれ学位を取得しました．おめでとうございます
2008/03/10 3月6日から3月10日までルーマニアのSinaiaで"SINAIA SCHOOL ON FORMAL VERIFICATION OF SOFTWARE SYSTEMS"が開催されました
2008/01/08 Searchコマンドなどの機能が強化されたCafeOBJの最新版(1.4.8)のバイナリ（Windows, MacOSX(Intel)）がアップロードされました
2007/12/3 先端講義 Formal Methods (i613)（講師：二木）開講されました（12/3 - 2/5）
2007/10/17 PVSやSALなど先駆的な検証ツールの研究開発で著名なスタンフォード研究所(SRI)の形式手法グループのリーダーであるJohn Rushby博士がJAISTを訪問されました．
2007/09/11 キャッツ株式会社の次世代組込みソフトウェア基礎研究機関「CATS先端研究所 （CATS Advanced Laboratory：略称CAL）」の所長(非常勤)に二木教授が就任しました．
2007/09/06 2007年9月6日（木）〜7日（金）にキャンパス・イノベーションセンター東京 国際会議室(1F)にて21世紀COEシンポジウム「検証進化可能電子社会」が開催されます
2007/08/24 一日体験入学が開催されました
2007/08/21 CafeOBJの最新版(1.4.7)のバイナリ（Windows, Linux, MacOSX(Intel)）がアップロードされました
2007/07/30 プログラミング方法論 (Programming Methodology) (i217)（講師：二木）が開講されました（6/7 - 7/30）
2007/05/26 オープンキャンパス2007が開催されました．今年は，小説「パラサイト・イヴ」の著者・東北大学機械系特任教授・瀬名秀明氏の講演会など様々なイベントが行われ，本講座も情報科学研究科パネル展示コーナで展示を行いました
2007/05/07 メンバページ等を新年度のものに更新しました
2007/04/05 今年度の新入生が研究室に仮配属されました．ようこそJAISTへ
2007/03/22 平成１８年度学位記授与式が行われました．修了おめでとう
2007/12/5 Specification and Verification of Highly Reliable Systems（講師：二木）が開講されました（12/5 - 2/8）


過去のニュースとお知らせ

現在，本学客員教授 Dines Bjørner 教授との共同プロジェクト
「デジタル著作権：電子社会における消費者と生産者」が進行中です
ホームページはこちら

21世紀COEプログラム 検証進化可能電子社会