ラムダ計算と論理の早春セミナー 2019
今年度も「ラムダ計算と論理の早春セミナー」を草津セミナーハウスで開催することになりました．ラムダ計算・論理およびその周辺の話題を広く募集しています．
本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています．議論し成果を挙げる場・学生の簡単な発表の場など，さまざまな用途で利用していただければ幸いです．
日程と場所
セミナー日程
2019年3月8日(金)16時から 2019年3月11日(月) 正午まで．
場所
〒377-1711 群馬県吾妻郡草津町大字草津字白根737
草津セミナーハウス (大研修室)
電話 0279-88-2212
懇親会
2019年3月9日(土)18時より，リストランテ アル・ロドデンドロ にて懇親会を行います．
費用は，4500円＋飲み物代となります．
参加予定者
- 小俣 安彦（東北大学）
- 倉田 俊彦（法政大学）
- 黒田 覚（群馬県立女子大学）
- 小松 弘佳（慶応義塾大学）
- 古森 雄一（千葉大学）
- 塩谷 賢
- 新屋 良磨（秋田大学）
- 高木 研斗（東京工業大学）
- 富岡 峻士（群馬大学）
- 外丸 真一（東京工業大学）
- 中野 圭介（東北大学）
- 中村 誠希（東京工業大学）
- 福田 陽介（京都大学）
- 藤田 憲悦（群馬大学）
- 藤本 誠（東京工業大学）
- 松田 直祐（神奈川大学）
- 山野井 涼華（群馬大学）
講演
- 小俣 安彦：実数の集合のRamsey性と無限ゲームの決定性
- 倉田 俊彦：SobolevのKripke modelにおけるfullnessの考察
- 黒田 覚：How can logic contribute to PvsNP and related problems?
- 小松 弘佳：Lambek-Grishin calculusにより定義される形式文法（ライトニングトーク）
- 古森 雄一：TBA
- 新屋 良磨：部分語数え上げ言語の無限性の特徴づけ / 夢で見た定理について
- 高木 研斗：狭義単項二階述語論理の完全性について
- 外丸 真一：非冪等交差型ラムダ計算のSN特徴づけ
- 富岡 峻士：ラムダ計算における簡約グラフ
- 中野 圭介：コンビネータの反復右適用の有限性
- 中村 誠希：「古森-鹿島の問題」の反例について
- 藤田 憲悦：A formal system of reduction paths for parallel reduction
- 福田 陽介：On the theory and practice of program semantics by the Geometry of Interaction
- 松田 直祐：2階直観主義論理とハイティング代数（その２）
- 山野井 涼華：モデル検査ツールUPPAALによる衝突検知メカニズムの可視化
参加希望の方へ
世話人
松田直祐（神奈川大学）
連絡先：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時）参加希望：希望する・希望しない
・その他要望：
--------------------- 以上 --------------------
- セミナーハウス宿泊者で懇親会に参加される方については，自動的に9日のセミナーハウスの夕食をキャンセルいたします．
参加費
セミナー参加費は無料ですが，セミナーハウス宿泊者は以下の料金がかかります．
- 関東甲信越地区国立大学所属者
- 宿泊：2100円/1泊
- 朝食：480円/1食
- 夕食：1020円/1食
- 上記以外
- 宿泊：2500円/1泊
- 施設利用料：100円/1泊
- 朝食：480円/1食
- 夕食：1020円/1食
また，懇親会参加費は3000～4000円を予定しています．
セミナーハウス宿泊者への注意
セミナーハウスには歯ブラシ・バスタオル等は備えてありませんので，各自でご持参ください．