ラムダ計算と論理の早春セミナー
2017
今年度も「ラムダ計算と論理の早春セミナー」を草津セミナーハウスで開催することになりました.ラムダ計算・論理およびその周辺の話題を広く募集しています.
本セミナーでは,講演枠や講演時間を事前に固定せず,当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています.議論し成果を挙げる場・学生の簡単な発表の場など,さまざまな用途で利用していただければ幸いです.
日程と場所
セミナー日程
2017年3月16日(木)16時から 2017年3月20日(月) 正午まで.
場所
〒377-1711 群馬県吾妻郡草津町大字草津字白根737
草津セミナーハウス
電話 0279-88-2212
参加者
- Ty Retana(群馬大学)
- 安部 達也(千葉工業大学)
- 沖坂 祥平(東北大学)
- 小俣 安彦(東北大学)
- 木村 大輔(東邦大学)
- 倉田 俊彦(法政大学)
- 黒田 覚(群馬県立女子大学)
- 古森 雄一(千葉大学)
- 新屋 良磨(秋田大学)
- 中澤 巧爾(名古屋大学)
- 藤田 憲悦(群馬大学)
- 松田 直祐(神奈川大学)
- 横山 啓太(JAIST)
講演
- Ty Retana:Probabilistic model checking for biochemical reaction systems of fibroblast growth factor
- 安部 達也:メモリ一貫性を考慮したモデル検査のためのプログラムグラフ検査器のHaskel実装
- 小俣 安彦:Some Unprovability and Phase Transition over I-Sigma1
- 木村 大輔:Decidability of Entailments in Separation Logic with Arrays
- 倉田 俊彦:高階逐次アルゴリズムの分解
- 黒田 覚:Bounded Arithmetic and Forcing Method
- 古森 雄一:変形規則が主役の I_\lambda を含む体系 (従来のI_\lambda を含む体系は *変換が主役の体系と考える)
- 新屋 良磨:TBA
- 中澤 巧爾:Z for CbV
- 藤田 憲悦:The Church--Rosser Theorem
- 松田 直祐:Logics characterized by finite linear Kripke frames
- 横山 啓太:Indicator and the length of the proof in arithmetic
参加希望の方へ
世話人
松田直祐(神奈川大学)
連絡先:matsuda.naosuke (at) gmail.com ((at) を @ に読み替えてください)
参加申し込み方法
参加を希望される方は,電子メールにて以下の情報を松田宛にお送りください(必要な箇所を記入&不要な箇所を削除).2017年3月1日(水) を締め切りとさせていただきます.セミナーハウスに宿泊を希望される方は,確保した部屋が埋まってしまった時点で申し込みを締め切らせていただきますので,ご了承ください.また,セミナーハウスは現在学生室のみ利用可能となっております.
-- ラムダ計算と論理の早春セミナー2017参加申込 --
・氏名:
・所属:
・連絡先(E-mail):
・講演希望:希望する・希望しない
講演題目:
・セミナーハウス宿泊希望:希望する・希望しない
・その他要望:
--------------------- 以上 --------------------
参加費
セミナー参加費は無料ですが,セミナーハウス宿泊者は以下の料金がかかります.
- 関東甲信越地区国立大学所属者
- 宿泊:2100円/1泊
- 朝食:480円/1食
- 夕食:1020円/1食
- 上記以外
- 宿泊:2500円/1泊
- 施設利用料:100円/1泊
- 朝食:480円/1食
- 夕食:1020円/1食
また,懇親会参加費は3000~4000円を予定しています.
セミナーハウス宿泊者への注意
セミナーハウスには歯ブラシ・パジャマ・バスタオル等は備えてありませんので,各自でご持参ください.