皆様、

重複して受け取られた場合はどうぞご容赦ください。 北陸先端科学技術大学院大学情報科学研究科では、

平成２３年度　数学・数理科学と諸科学・産業との連携研究ワークショップ 拡がっていく数学　〜期待される　”見えない力”〜 http://www.mext.go.jp/a_menu/math/index.htm （後援：（社）日本数学会、日本応用数理学会、統計関連学会連合、 （独）科学技術振興機構）

の一環として、文部科学省と共同で以下のワークショップを開催いたします。

タイトル：数理論理学の諸科学への発展と展開 http://www.jaist.ac.jp/~hirokawa/ml12.html 日時：　平成２４年３月９日（金）　９：００〜１７：００ 場所：　石川県立美術館　広坂別館 講演者： 　佐藤雅彦（京都大学大学院情報学研究科） 　下嶋篤（同志社大学文化情報学部） 　田中一之（東北大学大学院理学研究科） 　東条敏（北陸先端科学技術大学院大学情報科学研究科） 　山田友幸（北海道大学大学院文学研究科）

また、前日３月８日（木）には、ワークショップの直前 ３月５日（月）〜３月８日（木）に開催される

JAIST Spring School 2012 -- Formal Reasoning: Theory and Application -- http://www.jaist.ac.jp/~hirokawa/jss12.html

と合同で懇親会を開催予定です。会費は6，000円を予定しています。

会場等の準備の都合もございますので、参加に興味がおありの方は、

氏名： 所属・職（学生の場合は学年）： 3月8日（木）の懇親会：　参加・不参加　（どちらかをお選びください）

を

[email protected]

まで件名 "JSS2012 Workshop" でご返信ください。また、締切は

平成24年2月21日(火)

とします。 なお、JAIST Spring School 2012に申し込まれた、または、 これから申し込まれる方の申し込みは不要です。