[logic-ml] 2012LLS

[Toshihiko Kurata]

kisoron-ml，logic-mlの皆様，

昨年の夏休み期間に行われました「ラムダと論理の研究会」ですが，春休みに
も同様に行うこととなりました．詳しい情報は
 
   http://www.i.hosei.ac.jp/~kurata/2012LLS/
 
にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと
同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場とい
うよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個
人やグループで柔軟に計画してもらうようになっています．色々な方と交流を
持つためにも丁度よいと思います．（こうした形式のセミナーは主に海外で行
われているらしく，それを取り入れた古森先生の研究室の下で継続的に実施さ
れています．）

----
Toshihiko Kurata, Hosei University
e-mail kurata at hosei.ac.jp

----------------------------------------------------------------------
日時：　2012年3月18日(日)午後5時から3月22日(木)正午まで
場所：　国立大学草津セミナーハウス
参加申込：　昨夏と同様に事務的なことは倉田（法政大学）が窓口となってい
ます．講演や参加を希望されます方は以下の項目を
    kurata at hosei.ac.jp
までメイル下さい．会議室確保の都合がありまして，参加のみ希望されます方
も予め御連絡頂けますと幸いです．
-------------------------- 参加申込 --------------------------
氏名：
所属：
連絡先 (e-mail):
参加期間：
講演希望：有・無
題目：
希望時間：
その他：
--------------------------------------------------------------
 
また，セミナーに参加される方の中で特にセミナーハウスでの宿泊を希望され
る方は 2月20日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さ
い．宿泊定員の関係でこちらの締切は早くなっています．（確保した部屋が一
杯になったら締切内に申し込んでも部屋が確保できない可能性がありますので
御了承下さい．）他の情報は後から送って頂いて構いませんので，よろしくお
願いいたします．
------------------- セミナーハウス宿泊申込 -------------------
セミナーハウスの宿泊の申込をします。
部屋タイプの希望（教員は選択可，学生は学生部屋となります）：
　　　　教員用, 学生用, どちらでもよい
宿泊・食事の希望（希望しない部分を消去して下さい）：
　　　　18日　　夕食　宿泊
　　　　19日　　朝食　夕食　宿泊
　　　　20日　　朝食　夕食　宿泊
　　　　21日　　朝食　夕食　宿泊
　　　　22日　　朝食
--------------------------------------------------------------