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

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 ２の１期に二木教授の講義：i613 Formal Methods (2005/10/6 - 2005/11/29) が開講されます．
2005/9/26 9月29日にJean-Pierre Jouannaud教授によるＣＯＥセミナーが開催されます．
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 言語設計学講座ホームページをリニューアルしました