Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
Formal Methods Forum
Conversations
About
Formal Methods Forum
Contact owners and managers
1–30 of 164
Mark all as read
Report group
0 selected
tmiya
,
ken coba
2
2/9/14
開催会場が確保出来そうです
kencobaですtmiyaさん会場調整ありがとうございます！ 私、現状だと平日夜参加ですねー。 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:
unread,
開催会場が確保出来そうです
kencobaですtmiyaさん会場調整ありがとうございます！ 私、現状だと平日夜参加ですねー。 2014年2月5日 15:32 tmiya <tm...@bu.iij4u.or.jp>:
2/9/14
Takeo Imai
1/4/13
スパム
明けましておめでとうございます。今井です。 # 多数にBccで送信しております。 # このメールを複数受け取られた方は申し訳ありません。 新年早々ですが、私のこのgmailアカウントがクラックされたよう
unread,
スパム
明けましておめでとうございます。今井です。 # 多数にBccで送信しております。 # このメールを複数受け取られた方は申し訳ありません。 新年早々ですが、私のこのgmailアカウントがクラックされたよう
1/4/13
Takeo Imai
1/4/13
Fwd:
http://formapaisagismo.com/yfmvdco.php
unread,
Fwd:
http://formapaisagismo.com/yfmvdco.php
1/4/13
Yoichi Hirai
12/14/12
Logic Zooワークショップ
ご無沙汰しております。東京大学萩谷研の平井洋一です。 来年1月31日にLogic Zooというワークショップを開くことにしまして、 珍しい論理や希少な論理の話から、使える論理の話まで、講演を募集しており
unread,
Logic Zooワークショップ
ご無沙汰しております。東京大学萩谷研の平井洋一です。 来年1月31日にLogic Zooというワークショップを開くことにしまして、 珍しい論理や希少な論理の話から、使える論理の話まで、講演を募集しており
12/14/12
ken coba
, …
nagaku@nii
4
12/11/12
「Alloy Analyzerによるモデリング入門」(1月18日)やります
小林@豆蔵です。 すばやい返信ありがとうございますー。 たけをさんというわけで、alloy-jpにも宣伝させていただきました。 長久さんお手数おかけいたします。よろしくお願いいたします。 2012年12
unread,
「Alloy Analyzerによるモデリング入門」(1月18日)やります
小林@豆蔵です。 すばやい返信ありがとうございますー。 たけをさんというわけで、alloy-jpにも宣伝させていただきました。 長久さんお手数おかけいたします。よろしくお願いいたします。 2012年12
12/11/12
ken coba
2
10/1/12
第21回Formal Methods Forum勉強会日程調整
こんにちは、小林(結局繁忙期が終わらない)です。 超繁忙期は超えたので大丈夫! ということで、日程調整(10月-11月)でございます。 http://chosuke.rumix.jp/main.aspx
unread,
第21回Formal Methods Forum勉強会日程調整
こんにちは、小林(結局繁忙期が終わらない)です。 超繁忙期は超えたので大丈夫! ということで、日程調整(10月-11月)でございます。 http://chosuke.rumix.jp/main.aspx
10/1/12
Yuki Chiba
8/21/12
[CFP] ICFEM 2012 - 14th International Conference on Formal Engineering Methods
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の参加募集を投稿させて頂きます． 是非参加をご検討下さい． よろしくお願いし
unread,
[CFP] ICFEM 2012 - 14th International Conference on Formal Engineering Methods
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の参加募集を投稿させて頂きます． 是非参加をご検討下さい． よろしくお願いし
8/21/12
Yuki Chiba
5/17/12
CFP FTSCS 2012: 1st International Workshop on Formal Techniques for Safety-Critical Systems
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM2012のサテライトワークショップであるFTSCSのCFPを 送付させて頂きます． よろしくお願いします． -
unread,
CFP FTSCS 2012: 1st International Workshop on Formal Techniques for Safety-Critical Systems
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM2012のサテライトワークショップであるFTSCSのCFPを 送付させて頂きます． よろしくお願いします． -
5/17/12
tmiya
, …
あおいたん
4
5/9/12
第20回Formal Methods Forum勉強会日程調整
あおいたんです。 19日は別の勉強会の予定が入ってました。。。 日程調整では三角にしてたんですが不参加で。 いじょです。 2012年5月2日水曜日 12時45分01秒 UTC+9 ken.coba:
unread,
第20回Formal Methods Forum勉強会日程調整
あおいたんです。 19日は別の勉強会の予定が入ってました。。。 日程調整では三角にしてたんですが不参加で。 いじょです。 2012年5月2日水曜日 12時45分01秒 UTC+9 ken.coba:
5/9/12
tmiya
,
chit...@mail.goo.ne.jp
2
4/24/12
「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開
ご存知だとは思いますが、追加情報です。 形式手法の活用ガイドの最終版を公開、東証のシステムでの実証実験結果を反映 http://techon.nikkeibp.co.jp/article/NEWS/
unread,
「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開
ご存知だとは思いますが、追加情報です。 形式手法の活用ガイドの最終版を公開、東証のシステムでの実証実験結果を反映 http://techon.nikkeibp.co.jp/article/NEWS/
4/24/12
Yuki Chiba
2
4/24/12
CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが再度延長されましたのでお知らせいたし します．アブストラクトの締め切りは過ぎており
unread,
CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが再度延長されましたのでお知らせいたし します．アブストラクトの締め切りは過ぎており
4/24/12
tmiya
4/17/12
Alloyで様相論理
http://d.hatena.ne.jp/nishiohirokazu/20120418/1334678046 前回、知識を扱う様相論理の話をしましたが、信念を扱う様相論理の記事です。 やはりこの手の
unread,
Alloyで様相論理
http://d.hatena.ne.jp/nishiohirokazu/20120418/1334678046 前回、知識を扱う様相論理の話をしましたが、信念を扱う様相論理の記事です。 やはりこの手の
4/17/12
Akira Nonaka
, …
姜帆
5
4/14/12
Coq: リストからの削除についての質問
姜さん、 どうもありがとうございました。まだ、いろいろ覚えないといけないことがありますね。精進いたします。:) のなか(2012/04/14 14:01), 姜帆 wrote: > 野中さん
unread,
Coq: リストからの削除についての質問
姜さん、 どうもありがとうございました。まだ、いろいろ覚えないといけないことがありますね。精進いたします。:) のなか(2012/04/14 14:01), 姜帆 wrote: > 野中さん
4/14/12
Yuki Chiba
4/8/12
14th International Conference on Formal Engineering Methods (ICFEM 2012)
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが延長されましたのでお知らせします． 是非投稿をご検討下さい． -----------
unread,
14th International Conference on Formal Engineering Methods (ICFEM 2012)
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが延長されましたのでお知らせします． 是非投稿をご検討下さい． -----------
4/8/12
tmiya
,
あおいたん
3
3/27/12
2012/4以降の活動
tmiya_です 2012年3月27日火曜日11時35分13秒 UTC+9 あおいたん: あおいたんです。 感想を三点ほど。 以前参加しようかなと思って概要を読んでたときに思ったんですが。 「この勉強会
unread,
2012/4以降の活動
tmiya_です 2012年3月27日火曜日11時35分13秒 UTC+9 あおいたん: あおいたんです。 感想を三点ほど。 以前参加しようかなと思って概要を読んでたときに思ったんですが。 「この勉強会
3/27/12
ken coba
, …
tmiya
3
3/26/12
(3月25日[日])第19回Formal Methods勉強会
お疲れさまです 2012年2月27日月曜日12時25分49秒 UTC+9 ken.coba: 小林@運営です。 というわけで、次回は3月25日で開催です。 http://kokucheese.com/
unread,
(3月25日[日])第19回Formal Methods勉強会
お疲れさまです 2012年2月27日月曜日12時25分49秒 UTC+9 ken.coba: 小林@運営です。 というわけで、次回は3月25日で開催です。 http://kokucheese.com/
3/26/12
tmiya
,
kaizen
3
3/21/12
3/22,23 トップエスイー特別講義「定理証明と検証」
さすがは今井 宜洋さん、30人満席ですか。 うちの勉強会のCoqチュートリアルとは集客力が違うなぁ。。。
unread,
3/22,23 トップエスイー特別講義「定理証明と検証」
さすがは今井 宜洋さん、30人満席ですか。 うちの勉強会のCoqチュートリアルとは集客力が違うなぁ。。。
3/21/12
ken.coba
,
tmiya
3
2/24/12
第19回Formal Methods勉強会日程調整
小林です。 お、ちょっとチャレンジしてみます。 Alloyの知識より、様相論理の知識が必要とされるですね・・・ 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.
unread,
第19回Formal Methods勉強会日程調整
小林です。 お、ちょっとチャレンジしてみます。 Alloyの知識より、様相論理の知識が必要とされるですね・・・ 2012年2月24日16:37 tmiya <tm...@bu.iij4u.or.
2/24/12
Yuki Chiba
2/16/12
ICFEM 2012: Call for Papers
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の案内を送らせて頂きます． http://www.jaist.ac.jp/
unread,
ICFEM 2012: Call for Papers
(重複の場合はご容赦ください．) 皆様， 北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の案内を送らせて頂きます． http://www.jaist.ac.jp/
2/16/12
ken.coba
,
tmiya
2
2/13/12
第18回Formal Methods勉強会議事メモ
tmiya_ です。 On 2月13日, 午前10:36, "ken.coba" <ken.c...@gmail.com> wrote: > 小林です。 >
unread,
第18回Formal Methods勉強会議事メモ
tmiya_ です。 On 2月13日, 午前10:36, "ken.coba" <ken.c...@gmail.com> wrote: > 小林です。 >
2/13/12
ken.coba
, …
小川 清
4
2/6/12
第18回Formal Methods勉強会日程調整
皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 2/28に早水さんに名古屋においでいただいて指導していただく機会ができましたのでご紹介します。 http://researchmap.
unread,
第18回Formal Methods勉強会日程調整
皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 2/28に早水さんに名古屋においでいただいて指導していただく機会ができましたのでご紹介します。 http://researchmap.
2/6/12
Akira Nonaka
1/31/12
SEAフォーラム「実用期を迎えた関数プログラミング」のご案内
野中と申します． 勉強会には，なかなか参加出来ないのですが，こんなフォーラムを企画しました．スピーカー，パネリストには豪華メンバーを揃えたと自負しております． ご参加をお待ちしております， SEA
unread,
SEAフォーラム「実用期を迎えた関数プログラミング」のご案内
野中と申します． 勉強会には，なかなか参加出来ないのですが，こんなフォーラムを企画しました．スピーカー，パネリストには豪華メンバーを揃えたと自負しております． ご参加をお待ちしております， SEA
1/31/12
ken coba
, …
小川 清
3
1/24/12
第18回Formal Methods勉強会
皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 昨日、東小金井の法政大学で，Event-Bの学内講義がありました。 午後1時に東京駅付近で昼食を取りながら、佐原伸さんの書き込みを見て
unread,
第18回Formal Methods勉強会
皆様いつもお世話になっています。 小川清＠名古屋市工業研究所です。 昨日、東小金井の法政大学で，Event-Bの学内講義がありました。 午後1時に東京駅付近で昼食を取りながら、佐原伸さんの書き込みを見て
1/24/12
t.kitamura
1/24/12
計算機言語談話会（＠産総研尼崎）開催【2012/2/1】のお知らせ
皆様、こんにちは！ 産総研の北村崇師です。 下記の通り、産総研組み込みシステム技術連携体（＠尼崎）は、計算機言語談話会 （CLC:Computer Language Colloquium）を開催します。
unread,
計算機言語談話会（＠産総研尼崎）開催【2012/2/1】のお知らせ
皆様、こんにちは！ 産総研の北村崇師です。 下記の通り、産総研組み込みシステム技術連携体（＠尼崎）は、計算機言語談話会 （CLC:Computer Language Colloquium）を開催します。
1/24/12
ken coba
1/18/12
InfoQ Japan「イベントレポート『Coqチュートリアル#1』」
小林です。 ちょっと情報を。 @tmiya_さんが講師を務めてらっしゃるCoqチュートリアル(全4回)の、1回目のイベントレポートが公開されました。 http://www.infoq.com/jp/
unread,
InfoQ Japan「イベントレポート『Coqチュートリアル#1』」
小林です。 ちょっと情報を。 @tmiya_さんが講師を務めてらっしゃるCoqチュートリアル(全4回)の、1回目のイベントレポートが公開されました。 http://www.infoq.com/jp/
1/18/12
Yoriyuki Yamagata
, …
Masahiro Sakai
4
12/1/11
TPP2011
fm-forumの皆様、 酒井です。 On 10月19日, 午後3:45, Yoriyuki Yamagata <yoriyuki.yamag...@aist.go.jp> wrote:
unread,
TPP2011
fm-forumの皆様、 酒井です。 On 10月19日, 午後3:45, Yoriyuki Yamagata <yoriyuki.yamag...@aist.go.jp> wrote:
12/1/11
ken.coba
12/1/11
Theorem Proving Advent Calendar 2011
小林です。 たぶん、知ってる人はみんな知っている、 という状況だと思いますが、あえて紹介します。 Theorem Proving Advent Calendar 2011 http://partake.
unread,
Theorem Proving Advent Calendar 2011
小林です。 たぶん、知ってる人はみんな知っている、 という状況だと思いますが、あえて紹介します。 Theorem Proving Advent Calendar 2011 http://partake.
12/1/11
ken coba
, …
tmiya
5
12/1/11
第18回Formal Methods勉強会(11月27日(日))延期のご連絡
小林です。 うーむ、ご迷惑おかけします。 新宿三井ビル近辺で、静かに話せる喫茶店を調査しよう・・・。 ルノアール新宿西口店とかあるのですが、 まだ行ったことないし。 2011年12月1日18:15
unread,
第18回Formal Methods勉強会(11月27日(日))延期のご連絡
小林です。 うーむ、ご迷惑おかけします。 新宿三井ビル近辺で、静かに話せる喫茶店を調査しよう・・・。 ルノアール新宿西口店とかあるのですが、 まだ行ったことないし。 2011年12月1日18:15
12/1/11
ken coba
11/29/11
第18回Formal Methods勉強会日程再調整
小林@豆蔵です。 前回は急きょ延期となってしまい、 申し訳ありませんでした。 改めて日程調整をさせてくださいませ。 http://chosuke.rumix.jp/main.aspx?g=
unread,
第18回Formal Methods勉強会日程再調整
小林@豆蔵です。 前回は急きょ延期となってしまい、 申し訳ありませんでした。 改めて日程調整をさせてくださいませ。 http://chosuke.rumix.jp/main.aspx?g=
11/29/11
Yoriyuki Yamagata
11/14/11
講演会のお知らせ
fm-forumの皆様、講演会2件のお知らせです。 モデル検査器PATおよび仕様記述言語Bメソッドの開発者の方が関西に来られて講演されます。平日になってしまいますが、お越しいただければ幸いです。 なお、
unread,
講演会のお知らせ
fm-forumの皆様、講演会2件のお知らせです。 モデル検査器PATおよび仕様記述言語Bメソッドの開発者の方が関西に来られて講演されます。平日になってしまいますが、お越しいただければ幸いです。 なお、
11/14/11
