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