[logic-ml] ２２（日）-２５（水）: 国際会議TAMC2011

[arai toshiyasu]

みなさま

代理投稿します。

-- 
新井敏康

---
電通大の垂井と申します。

５月２２日（日）から２５日（水）まで電通大（調布）にて
理論計算機科学に関するTAMC2011という国際会議を開催します。
http://www.tamc2011.com/index.html

２２日（日）は３つのチュートリアルのみ開催し
このチュートリアルは、誰でも聴講できると明示的に告知しています。
（登録不要。費用不要。）

２番目の午後最初のチュートリアルは
finite model theoryに関するものです。
(finiteの場合の基本的事項、計算量との関係、0-1 lawなどを
カバーしてもらう予定です。）

さらに、２３・２４・２５の会議の部分についても
聴講だけは登録/費用不要で誰でもできることに
しました。（プロシーディングスもらえず、宴会には参加できないですが。）

ご興味とご都合に応じて参加検討ください。

電気通信大学
垂井淳
tarui at ice.uec.ac.djp