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

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


日時: 2015年3月16日(月) 午後5時から3月20日(金) 正午まで

場所:  国立大学草津セミナーハウス
    〒377-1711 群馬県吾妻郡草津町大字草津字白根737
    地図(480KB)
    および
    ペンション 陽のあたる場所
    〒377-1711群馬県吾妻郡草津町草津760-5


草津温泉バスターミナルからセミナーハウスまでの道順
大きな地図で見る(Earthは雪のない景色)


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


講演者: 題目

参加者:


過去のセミナー: 

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

Created: 2014.01.16;  Last update 2014.01.19

inserted by FC2 system