ラ ム ダ 計 算 と 論 理 の 晩 夏 セ ミ ナ ー

恒例の「ラムダ計算と論理の晩夏セミナー」を行うこととなりました． 過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関してなごやかな雰囲気で議論できる場に致したいと思っています．また，成果発表の場と いうよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個人やグループで柔軟に計画してもらうようになっています． 色々な方と交流を持つためにも丁度よいと思います． 形式など余り気にせずに気軽に参加いただけますと幸いです．

参加申込：　参加・宿泊・予約などの事務的なことは倉田（法政大学）が窓口となっています． 講演や参加を希望されます方は以下の項目を9月8日までに
kurata@\beta (\beta に hosei.ac.jp を代入して使ってください)
まで御連絡下さい．会議室確保の都合がありまして，参加のみを希望されます方も予め御連絡頂けますと幸いです．
------------------------- 参加申込 -------------------------
氏名：
所属：
連絡先 (e-mail):
参加期間：
講演希望：有・無
題目：
希望時間：
その他：
-------------------------------------------------------------
また，セミナーに参加される方の中で特にセミナーハウスでの宿泊を希望される方は8月31日までに宿泊申込を倉田（上記e-mailアドレス）までメイル下さい． （料金・設備などの情報は草津セミナーハウスのHPを御参照下さい．なお，確保した部屋が一杯になったら締切内に申し込んでも部屋が確保できない可能性が ありますので御了承下さい。）宿泊定員の関係でこちらの締切は早くなっています．他の情報は後からでも構いませんので，よろしくお願いいたします．セミ ナーハウス以外の宿を探す方はこちらなどを参考にしてください．
------------------------- 宿泊申込 -------------------------
ラムダ計算と論理のセミナーに関してセミナーハウスでの宿泊申込をします。
部屋タイプの希望（今回は，学生部屋しか確保できませんでした）：
宿泊・食事の希望（希望しない部分を消去して下さい）：
　　15日　　夕食　宿泊
　　16日　　朝食　夕食　宿泊
　　17日　　朝食　夕食　宿泊
　　18日　　朝食　夕食　宿泊
　　19日　　朝食
------------------------------------------------------------
昼食は個人やグループの計画に合わせて草津町内で自由にとってもらう予定となっています．

講演予定者:

• 藤田 憲悦
• 古森 雄一
• 山川 郁加
• 倉田 俊彦：Grzegorczyk階層とloopプログラムに関する考察
• 松田直祐
• 仲川 聡子
• 横山 啓太
• 中澤 巧爾
• 黒田 覚　：Bounded Arithmetic for PSPACE

参加予定者:

• 倉田 俊彦　（法政大学）9/15〜16　　
• 藤田 憲悦　（群馬大学）9/15〜16　　
• 古森 雄一　（千葉大学）9/15〜19　　
• 松田 直祐　（東京工業大学 D1）9/16〜19
• 山川 郁加　（千葉大学 M2） 9/15〜19
• 加藤 紘人　（千葉大学 M1） 9/15〜19
• 仲川 聡子　（東京工業大学 M2）　9/15〜19
• 横山 啓太　（北陸先端技術大学院大学）　9/15〜17
• 中澤 巧爾　（京都大学）　9/15〜18
• 黒田 覚　　（群馬県立女子大学）　9/15〜16

過去のセミナー：　

　　2013年3月　2012年8月　2012年3月　2011年8月　2009年3月　2008年9月　2007年3月　2006年3月　2005年3月

Last update: 2013.09.06 by Yuichi KOMORI, Chiba University