3/22,23 トップエスイー特別講義「定理証明と検証」

46 views

Skip to first unread message

unread,

Feb 12, 2012, 10:21:19 PM2/12/12

to Formal Methods Forum

お疲れ様です。

平日開催なのがちょっと厳しいですが、名古屋の今井さんによるCoqチュートリアルが3/22,23にTopSEで開催されます。
参加費無料なのが素晴らしいです。

http://topse.or.jp/docs/?q=node/36

申し込みはお早めに。

unread,

Mar 20, 2012, 2:19:31 PM3/20/12

to Formal Methods Forum

皆様

いつもお世話になっています。

小川清＠名古屋市工業研究所です。

定員を超えたようで，申し込みが締切られているようです。

unread,

Mar 21, 2012, 3:02:05 AM3/21/12

to fm-f...@googlegroups.com

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

Reply all

Reply to author

Forward

0 new messages