Formal Methods Forum

kencobaですtmiyaさん会場調整ありがとうございます！ 私、現状だと平日夜参加ですねー。 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:

明けましておめでとうございます。今井です。 # 多数にBccで送信しております。 # このメールを複数受け取られた方は申し訳ありません。 新年早々ですが、私のこのgmailアカウントがクラックされたよう

http://formapaisagismo.com/yfmvdco.php

ご無沙汰しております。東京大学萩谷研の平井洋一です。 来年1月31日にLogic Zooというワークショップを開くことにしまして、 珍しい論理や希少な論理の話から、使える論理の話まで、講演を募集しており

小林@豆蔵です。 すばやい返信ありがとうございますー。 たけをさんというわけで、alloy-jpにも宣伝させていただきました。 長久さんお手数おかけいたします。よろしくお願いいたします。 2012年12

こんにちは、小林(結局繁忙期が終わらない)です。 超繁忙期は超えたので大丈夫! ということで、日程調整(10月-11月)でございます。 http://chosuke.rumix.jp/main.aspx

(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の参加募集を投稿させて頂きます． 是非参加をご検討下さい． よろしくお願いし

(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM2012のサテライトワークショップであるFTSCSのCFPを 送付させて頂きます． よろしくお願いします． -

あおいたんです。 19日は別の勉強会の予定が入ってました。。。 日程調整では三角にしてたんですが不参加で。 いじょです。 2012年5月2日水曜日 12時45分01秒 UTC+9 ken.coba:

ご存知だとは思いますが、追加情報です。 形式手法の活用ガイドの最終版を公開、東証のシステムでの実証実験結果を反映 http://techon.nikkeibp.co.jp/article/NEWS/

(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが再度延長されましたのでお知らせいたし します．アブストラクトの締め切りは過ぎており

http://d.hatena.ne.jp/nishiohirokazu/20120418/1334678046 前回、知識を扱う様相論理の話をしましたが、信念を扱う様相論理の記事です。 やはりこの手の

姜さん、 どうもありがとうございました。まだ、いろいろ覚えないといけないことがありますね。精進いたします。:) のなか(2012/04/14 14:01), 姜帆 wrote: > 野中さん

(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが延長されましたのでお知らせします． 是非投稿をご検討下さい． -----------

tmiya_です 2012年3月27日火曜日11時35分13秒 UTC+9 あおいたん: あおいたんです。 感想を三点ほど。 以前参加しようかなと思って概要を読んでたときに思ったんですが。 「この勉強会

お疲れさまです 2012年2月27日月曜日12時25分49秒 UTC+9 ken.coba: 小林@運営です。 というわけで、次回は3月25日で開催です。 http://kokucheese.com/

さすがは今井 宜洋さん、30人満席ですか。 うちの勉強会のCoqチュートリアルとは集客力が違うなぁ。。。

小林です。 お、ちょっとチャレンジしてみます。 Alloyの知識より、様相論理の知識が必要とされるですね・・・ 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.

(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の案内を送らせて頂きます． http://www.jaist.ac.jp/

tmiya_ です。 On 2月13日, 午前10:36, "ken.coba" <ken.c...@gmail.com> wrote: > 小林です。 >

皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 2/28に早水さんに名古屋においでいただいて指導していただく機会ができましたのでご紹介します。 http://researchmap.

野中と申します． 勉強会には，なかなか参加出来ないのですが，こんなフォーラムを企画しました．スピーカー，パネリストには豪華メンバーを揃えたと自負しております． ご参加をお待ちしております， SEA

皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 昨日、東小金井の法政大学で，Event-Bの学内講義がありました。 午後1時に東京駅付近で昼食を取りながら、佐原伸さんの書き込みを見て

皆様、こんにちは！ 産総研の北村崇師です。 下記の通り、産総研組み込みシステム技術連携体（＠尼崎）は、計算機言語談話会 （CLC:Computer Language Colloquium）を開催します。

小林です。 ちょっと情報を。 @tmiya_さんが講師を務めてらっしゃるCoqチュートリアル(全4回)の、1回目のイベントレポートが公開されました。 http://www.infoq.com/jp/

fm-forumの皆様、 酒井です。 On 10月19日, 午後3:45, Yoriyuki Yamagata <yoriyuki.yamag...@aist.go.jp> wrote:

小林です。 たぶん、知ってる人はみんな知っている、 という状況だと思いますが、あえて紹介します。 Theorem Proving Advent Calendar 2011 http://partake.

小林です。 うーむ、ご迷惑おかけします。 新宿三井ビル近辺で、静かに話せる喫茶店を調査しよう・・・。 ルノアール新宿西口店とかあるのですが、 まだ行ったことないし。 2011年12月1日18:15

小林@豆蔵です。 前回は急きょ延期となってしまい、 申し訳ありませんでした。 改めて日程調整をさせてくださいませ。 http://chosuke.rumix.jp/main.aspx?g=

fm-forumの皆様、講演会2件のお知らせです。 モデル検査器PATおよび仕様記述言語Bメソッドの開発者の方が関西に来られて講演されます。平日になってしまいますが、お越しいただければ幸いです。 なお、