各位、

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

JAIST Spring School 2012 - Formal Reasoning: Theory and Application - http://www.jaist.ac.jp/~hirokawa/jss12.html chair 東条 敏 (JAIST)

を

平成24年3月5日から3月9日まで 於、金沢県立美術館

の日程で開催する予定です。これにあたり、本スプリングスクールへの参加に関心のある、日本国内の大学院生・ポスドク（学部・研究科は問いません）を10名程度募集いたします（なお、参加費（一万円程度）が必要です）。会場のキャパシティに限りがございますので、参加に興味がおありの方は、下記の Application Form に必要事項を記入の上（日本語可）、

jss2012-oc@jaist.ac.jp

まで件名 "JSS2012 Domestic Application" でご返信ください。締切は

平成24年2月17日(金)

と致します。

また、本スプリングスクールの最終日に

数理論理学の諸科学への発展と展開 平成24年3月9日 石川県立美術館広坂別館 主催：文部科学省・北陸先端科学技術大学院大学 情報科学研究科 後援：日本数学会・日本応用数理学会・統計関連学会連合・科学技術振興機構 http://www.jaist.ac.jp/~hirokawa/ml12.html chair 石原 哉 (JAIST)

を開催いたします。招待講演者等、詳細が決まり次第、再度アナウンスをお送りいたしますが、こちらのワークショップにはどなた様もご参加いただけます。

************************************************************ *** JAIST Spring School 2012 Application Form *** *** Reply to "jss2012-oc@jaist.ac.jp" *** *** with subject-line "JSS2012 Domestic Application" *** ************************************************************

1) Family (last) Name:

2) Middle Name (if any):

3) Given (first) Name:

4) Sexuality: (male/female)

5) Age:

6) Nationality:

7) Affiliation:

8) E-mail address:

9) Home page URL (if you have):

10) Status (choose one): - graduate student (indicate grade) - postdoc (indicate when you became postdoc) - others (indicate your status)

11) Sketch your main motivation (in a few lines) to attend JAIST Spring School 2012, research interests, and past research achievements. If you have already published some research papers, indicate them.

12) If you are a student, indicate the following:

Supervisor's name: Supervisor's title and affiliation: Supervisor's e-mail address:

13) Any special dietary requirements or food allergies?:

************************************************************ ********************** end end end ************************* ************************************************************