皆様、
重複して受け取られた場合はどうぞご容赦ください。 北陸先端科学技術大学院大学情報科学研究科では、
平成２３年度 数学・数理科学と諸科学・産業との連携研究ワークショップ 拡がっていく数学 〜期待される ”見えない力”〜 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日（木）の懇親会： 参加・不参加 （どちらかをお選びください）
を
まで件名 "JSS2012 Workshop" でご返信ください。また、締切は
平成24年2月21日(火)
とします。 なお、JAIST Spring School 2012に申し込まれた、または、 これから申し込まれる方の申し込みは不要です。