[logic-ml] JAIST Spring School 2012 - Formal Reasoning: Theory and Application - (5-9 March, 2012)

Katsuhiko Sano katsuhiko.sano at gmail.com
Wed Jan 11 22:23:14 JST 2012


各位、

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

	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 at 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 at 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 *************************
************************************************************


More information about the Logic-ml mailing list