[logic-ml] ワークショップ「数理論理学の諸科学への発展と展開」のご案内

[Katsuhiko Sano]

皆様、

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

平成２３年度　数学・数理科学と諸科学・産業との連携研究ワークショップ
拡がっていく数学　〜期待される　”見えない力”〜
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-oc at jaist.ac.jp

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

　平成24年2月21日(火)

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

-- 
Katsuhiko Sano

School of Information Science
Japan Advanced Institute for Science and Technology
IS building No.1 7F, 1-1 Asahidai,
Nomi, Ishikawa, 923-1292, Japan