20 May
2011
20 May
'11
10:34 a.m.
みなさま
代理投稿します。
--
新井敏康
---
電通大の垂井と申します。
５月２２日（日）から２５日（水）まで電通大（調布）にて
理論計算機科学に関するTAMC2011という国際会議を開催します。
http://www.tamc2011.com/index.html
２２日（日）は３つのチュートリアルのみ開催し
このチュートリアルは、誰でも聴講できると明示的に告知しています。
（登録不要。費用不要。）
２番目の午後最初のチュートリアルは
finite model theoryに関するものです。
(finiteの場合の基本的事項、計算量との関係、0-1 lawなどを
カバーしてもらう予定です。）
さらに、２３・２４・２５の会議の部分についても
聴講だけは登録/費用不要で誰でもできることに
しました。（プロシーディングスもらえず、宴会には参加できないですが。）
ご興味とご都合に応じて参加検討ください。
電気通信大学
垂井淳
[email protected]