ラムダ計算と論理の
早春セミナー2020
新型コロナウイルス感染防止対策についての政府の方針を受け， 誠に残念ですが本年度の開催を中止させていただくことになりました．
2020/02/27
今年度も「ラムダ計算と論理の早春セミナー」を草津セミナーハウスで開催することになりました．ラムダ計算・論理およびその周辺の話題を広く募集しています．
本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．議論し成果を挙げる場・学生の簡単な発表の場など，さまざまな用途で利用していただければ幸いです．
なお，今年度で草津セミナーハウスが閉鎖とのことで，草津セミナーハウスでの開催は今回が最後になります．多くの皆様のご参加をお待ちしております．
次回の開催については，こちらをご覧ください。
開催要領
日程
2020年3月7日(土)16時から 2020年3月11日(水) 正午まで．
場所
〒377-1711 群馬県吾妻郡草津町大字草津字白根737
草津セミナーハウス
電話 0279-88-2212
懇親会
日程：2020年3月9日(月) 18時より
場所：未定
参加費：3000-4000円程度の予定
講演予定（随時更新）
蛭子井 博孝（幾何数学研究センター）：完全数の一般化
倉田 俊彦（法政大学）：TBA
小島 健介（京都大学）：可換マッチング問題の解の個数の上限について
古森 雄一（千葉大学）：TBA
新屋 良磨（秋田大学）：TBA
龍田 真（国立情報学研究所 ）： 直観主義における循環証明からマルティンレーフの帰納的定義への証明変換
富岡 峻士（群馬大学）：ラムダ計算における簡約グラフ
春山 椋 （名古屋大学）：TBA
藤田 憲悦（群馬大学）：「The Hardest Logic Puzzle Ever」再考
松田 直祐（神奈川大学）：中間論理の公理と論理式のオーダー
渡邉 洋也（群馬大学）：Anagoposによるλ項の構造とグラフの対応関係
参加希望の方へ
世話人
松田直祐（神奈川大学）
連絡先：matsuda.naosuke (at) gmail.com （(at) を @ に読み替えてください）
参加を希望される方
参加を希望される方は，電子メールにて以下の情報を松田宛にお送りください（必要な箇所を記入＆不要な箇所を削除）．2020年2月28日(木) を締め切りとさせていただきます．
セミナーハウスに宿泊を希望される方は，予約の関係で締め切りを 2020年2月20日(木) とさせていただきます．なお，確保した部屋が埋まってしまった場合は，その時点で申し込みを締め切らせていただきますので，ご了承ください．現在，宿泊部屋は学生室のみとなっております．
-- ラムダ計算と論理の早春セミナー2020参加申込 --
・氏名：
・所属：
・連絡先(E-mail)：
・参加期間：7日・8日・9日・10日・11日
・講演希望：希望する・希望しない
講演題目：
・セミナーハウス宿泊希望：希望する・希望しない
7日：夕食・宿泊
8日：朝食・夕食・宿泊
9日：朝食・夕食・宿泊
10日：朝食・夕食・宿泊
11日：朝食
・懇親会（3月9日18時）参加希望：希望する・希望しない
・その他要望：
--------------------- 以上 --------------------
セミナーハウス宿泊者で懇親会の参加を希望される方については，自動的に9日のセミナーハウスの夕食をキャンセルいたします．
参加費
セミナー参加費は無料ですが，セミナーハウス宿泊者は以下の料金がかかります．
関東甲信越地区国立大学所属者
宿泊：2100円/1泊
朝食：490円/1食
夕食：1040円/1食
上記以外
宿泊：2500円/1泊
施設利用料：100円/1泊
朝食：490円/1食
夕食：1040円/1食
また，懇親会参加費は3000-4000円程度を予定しています．
セミナーハウス宿泊者への注意
セミナーハウスには歯ブラシ・バスタオル等は備えてありませんので，各自でご持参ください．