[logic-ml] 2011LLS

[Toshihiko Kurata]

kisoron-ml，logic-mlの皆様，

夏休み期間に「ラムダと論理の研究会」が計画されています．詳しい情報は

  http://www.i.hosei.ac.jp/~kurata/2011LLS/

にありますので気軽に参加を検討いただけますと幸いです．過去のセミナーと
同様に「ラムダ計算と論理およびその周辺分野」に関して，成果発表の場とい
うよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個
人やグループで柔軟に計画してもらうようになっています．（こうした形式の
セミナーは主に海外で行われているらしく，それを取り入れた古森先生の研究
室の下で継続的に実施されています．）特に今年の夏は節電の影響で大学では
仕事がはかどりそうにないという方も多いと思われます．草津のセミナーで仕
事を進め節電にも貢献する計画などされては如何でしょうか？

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

----------------------------------------------------------------------
日時：　2011年8月28日(金)午後5時から9月1日(火)正午まで
場所：　国立大学草津セミナーハウス
参加申込：　倉田（法政大学）が窓口となっています．講演や参加を希望され
ます方は8月15日までに以下の項目を kurata at hosei.ac.jp までメイル下さい．
会議室確保の都合がありまして，参加のみ希望されます方も予め御連絡頂けま
すと幸いです．

-------------------------- 参加申込 --------------------------
氏名：
所属：
連絡先 (e-mail):
参加期間：
講演希望：有・無
題目：
希望時間：
その他：
--------------------------------------------------------------

また，セミナーに参加される方の中でセミナーハウスでの宿泊を希望される方
は7月7日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい．宿
泊定員の関係でこちらの締切は早くなっています．他の情報は後から送って頂
いて構いませんので，よろしくお願いいたします．

------------------- セミナーハウス宿泊申込 -------------------
セミナーハウスの宿泊の申込をします。
部屋タイプの希望（教員は選択可，学生は学生部屋となります）：
　　　　教員用, 学生用, どちらでもよい
宿泊・食事の希望（希望しない部分を消去して下さい）：
　　　　２８日　　夕食　宿泊
　　　　２９日　　朝食　夕食　宿泊
　　　　３０日　　朝食　夕食　宿泊
　　　　３１日　　朝食　夕食　宿泊
　　　　　１日　　朝食
--------------------------------------------------------------