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

2006/11/27 第三回 JAIST/TRUST - AIST(産業総合研究所)/CVS 共同 検証の技術ワークショップ (3rd VERITE)が開催中です
2006/10/25 Daniel Mircea GAINAさんが本研究室の博士後期課程に配属されました。ようこそLDLへ!
2006/10/13 プログラミング方法論(講師:二木)が開講しました -- JAIST田町キャンパス教室(10/13 - 11/25)
2006/10/11 M1セミナが始まります。今年の輪講本は「B.Gries, F.B.Schneider, "A Logical Approach to Discrete Math," Springer」です。
2006/08/25 今日は毎年恒例のJAIST一日体験入学です.
2006/08/01 産業技術総合研究所の森彰さんが研究室を訪問され,CafeOBJのPigNoseを使ったモデル検査についてお話ししてくださいました
2006/08/01 博士後期課程 中野昌弘によるPA2005年下期未踏ソフトウェア創造事業のプロジェクト「要求仕様の自動検証システムの開発」の成果発表会が行われました
2006/07/31 プログラミング方法論(講師:二木)が終わりました
2006/06/29 2006年度4月入学の修士課程1年生が5人、本講座に本配属されました.ようこそLDLへ!
2006/06/08 プログラミング方法論(講師:二木)が始まります
2006/06/03 オープンキャンパスが開催されます
2006/04/05 2006年度4月入学の新入生が仮配属されました.ようこそLDLへ!
2006/03/15 Pierre Lescanne教授がLDLを訪問されました
2006/03/01 Dines Bjørner 教授と本講座が共同してデジタル著作権に関するプロジェクト(Digital Rights: Consumers and Producers in a Digital World)を始めました。
2006/03/01 活動報告を更新しました.2003年後期,2004年,2005年分の発表論文リストを追加しました.
2006/02/24 Razvan DIACONESCU さんがLDLを訪問中です.一週間ほどの滞在です.
2006/02/14 Dines Bjorner 特任教授がJAISTに着任されました.
2006/02/08 清野貴博さんがLDLを訪問しました.
2006/02/09 Stephane LE ROUXがLDLにきました.Vestergaard 助教授 が指導する博士課程の学生です.半年ほど滞在します.
2006/01/20 本講座 博士後期課程の中野昌弘による「要求仕様の自動検証システムの開発」が独立行政法人 情報処理推進機構 IPA の 2005年度下期 未踏ソフトウェア創造事業に採択されました.
2005/11/30 Mac版のCafeOBJ 1.4.6p5 バイナリパッケージがアップされました.
2005/11/24 Windows版のCafeOBJ 1.4.6p5 バイナリパッケージがアップされました.
2005/11/22 CafeOBJ 1.4.6p5がアップされました.同Linux版バイナリパッケージもアップされました.CafeOBJ 1.4.6p5では等価述語"_=_"を含む組み込みモジュールEQLが追加されています.
2005/11/18 CafeOBJ 1.4.6p4のWindows版バイナリパッケージがアップされました.
2005/11/15 代数仕様言語 CafeOBJ の新しいヴァージョン (1.4.6p4)がアップされました.現在,バイナリパッケージは Linux のみです.新しいヴァージョンでは,すべてのソート S 上に自動で等式 "eq (X:S = X) = true ."が追加されます.
2005/10/5 月刊JavaWorld 2005年11月号の特集2:JUnitで実践する「テスト・ファーストによる設計」 (pp148-165)でCafeOBJを使った形式手法が紹介されています.
2005/10/5 2の1期に二木教授の講義:i613 Formal Methods (2005/10/6 - 2005/11/29) が開講されます.
2005/9/26 9月29日にJean-Pierre Jouannaud教授によるCOEセミナーが開催されます.
2005/9/26 パリ理工科大学校(Ecole Polytechnique)のJean-Pierre Jouannaud 教授が本講座を訪問されました.金曜までご滞在の予定です.
2005/9/15 9月21, 22日に金沢市文化ホールで
    JAIST/TRUST - AIST/CVS Joint Workshop on Verification Technology (JAIST/TRUST - AIST/CVS 共同 検証の技術ワークショップ)
が開催されます(参加費無料,登録不要).本講座から3件の発表が予定されています.
2005/9/1 博士前期課程1年生による輪講のテキストが決まりました
2005/8/17 トップページに『ニュースとお知らせ』ができました
2005/9/26 パリ理工科大学校(Ecole Polytechnique)のJean-Pierre Jouannaud 教授が本講座を訪問中です.9月29日(木)開催のCOEセミナーでお話し頂けます.
2005/7/28 2005年度(1-2期) プログラミング方法論 (i217)の講義が終了しました
2005/7/8 2005年度生6名(二木研:3名,フェスターガード研:3名)が本配属されました
2005/6/9 2005年度(1-2期) プログラミング方法論 (i217)の講義が始まりました
2005/4/28 言語設計学講座ホームページをリニューアルしました