Groups
Sign in
Groups
Formal Methods Forum
Conversations
About
Send feedback
Help
Logic Zooワークショップ
82 views
Skip to first unread message
Yoichi Hirai
unread,
Dec 14, 2012, 3:30:46 AM
12/14/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
ご無沙汰しております。東京大学萩谷研の平井洋一です。
来年1月31日にLogic Zooというワークショップを開くことにしまして、
珍しい論理や希少な論理の話から、使える論理の話まで、講演を募集しております。
前日1月30日に博士公聴会と、博士審査反省会(という宴会)もあります。
詳細申込み
http://logiczoo13.pira.jp/
平井洋一
Reply all
Reply to author
Forward
0 new messages