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

44 views
Skip to first unread message

tmiya

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

申し込みはお早めに。


kaizen

unread,
Mar 20, 2012, 2:19:31 PM3/20/12
to Formal Methods Forum
皆様

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

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

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

tmiya

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