今年度も「ラムダ計算と論理の早春セミナー」を草津セミナーハウスで開催することになりました.ラムダ計算・論理およびその周辺の話題を広く募集しています.
本セミナーでは,講演枠や講演時間を事前に固定せず,当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています.議論し成果を挙げる場・学生の簡単な発表の場など,さまざまな用途で利用していただければ幸いです.
2019年3月8日(金)16時から 2019年3月11日(月) 正午まで.
〒377-1711 群馬県吾妻郡草津町大字草津字白根737
草津セミナーハウス (大研修室)
電話 0279-88-2212
2019年3月9日(土)18時より,リストランテ アル・ロドデンドロ にて懇親会を行います.
費用は,4500円+飲み物代となります.
松田直祐(神奈川大学)
連絡先:matsuda.naosuke (at) gmail.com ((at) を @ に読み替えてください)
参加を希望される方は,電子メールにて以下の情報を松田宛にお送りください(必要な箇所を記入&不要な箇所を削除).2019年2月28日(木) を締め切りとさせていただきます.
セミナーハウスに宿泊を希望される方は,予約の関係で締め切りを 2019年2月20日(水) とさせていただきます.ただし,確保した部屋が埋まってしまった場合は,その時点で申し込みを締め切らせていただきますので,ご了承ください.また,セミナーハウスは現在学生室のみ利用可能となっております.
-- ラムダ計算と論理の早春セミナー2019参加申込 --
・氏名:
・所属:
・連絡先(E-mail):
・参加期間:8日・9日・10日・11日
・講演希望:希望する・希望しない
講演題目:
・セミナーハウス宿泊希望:希望する・希望しない
宿泊:8日・9日・10日
朝食:9日・10日・11日
夕食:8日・9日・10日
・懇親会(3月9日18時)参加希望:希望する・希望しない
・その他要望:
--------------------- 以上 --------------------
セミナー参加費は無料ですが,セミナーハウス宿泊者は以下の料金がかかります.
また,懇親会参加費は3000~4000円を予定しています.
セミナーハウスには歯ブラシ・バスタオル等は備えてありませんので,各自でご持参ください.