ラ ム ダ 計 算 と 論 理 の 早 春 セ ミ ナ ー

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


日時: 2013年3月12日(火) 午後5時から3月16日(土) 正午まで

場所:  国立大学草津セミナーハウス
    〒377-1711 群馬県吾妻郡草津町大字草津字白根737
    地図(480KB)


草津温泉バスターミナルからセミナーハウスまでの道順
大きな地図で見る


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


講演予定者:

古森 雄一, 山川 郁加, 倉田 俊彦, 松田直祐, 藤田 憲悦

講演者: 題目

参加予定者:


過去のセミナー: 

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

Last update: 2014.01.17 by Ken-etsu Fujita, Gunma University 

inserted by FC2 system