Groups
Sign in
Groups
Formal Methods Forum
Conversations
About
Send feedback
Help
第21回Formal Methods Forum勉強会日程調整
76 views
Skip to first unread message
ken coba
unread,
Sep 12, 2012, 11:01:22 PM
9/12/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fm-f...@googlegroups.com
こんにちは、小林(今日で最繁忙期がおわるぞー)です。
みなさま、ProofSummit2012では大変お世話になりました。
ということで、日程調整(10月-11月)でございます。
http://chosuke.rumix.jp/main.aspx?g=6af9af588d6a8a8bb
現時点のテーマ:
・MAUDE Primerをみんなで読み進めよう!(kencoba)
話したい内容があれば、このメールにどんどん追加しちゃってください。
ken coba
unread,
Oct 1, 2012, 1:14:36 AM
10/1/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fm-f...@googlegroups.com
こんにちは、小林(結局繁忙期が終わらない)です。
超繁忙期は超えたので大丈夫!
ということで、日程調整(10月-11月)でございます。
http://chosuke.rumix.jp/main.aspx?g=6af9af588d6a8a8bb
再度アナウンスです。
10/5に日程を確定しようとしてますので、
入力してない方は入力お願いしまーす。
2012年9月13日 12:01 ken coba <
ken....@gmail.com
>:
Reply all
Reply to author
Forward
0 new messages