kisoron-ml，logic-mlの皆様，

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

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

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

---- Toshihiko Kurata, Hosei University e-mail [email protected]

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

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

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

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