以下の要領で合宿形式のセミナーを開催させていただきます。
本セミナーでは，講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。
2024年3月8日(金)13:00 - 10日(日)12:00
ロッジ丘
949-6212 新潟県南魚沼郡湯沢町大字三国469-7
JR上越新幹線・越後湯沢駅より南越後観光バスで45分
松田直祐（湘南工科大学）
新屋良磨（秋田大学）
参加を希望される方は，電子メールにて下記申し込みフォームの情報を松田宛にお送りください。
メール宛先： matsuda.naosuke (at) gmail.com
ロッジ丘に宿泊を希望される方は，2024年2月20日(火) を締め切りとさせていただきます（ただし，確保した部屋が埋まってしまった場合は，その時点で申し込みを締め切らせていただきます）。ロッジ丘以外に宿泊をされる方は，2024年2月29日(金)までにご連絡をお願いいたします。
-- 参加申込フォーム --
・氏名：
・所属：
・連絡先(E-mail)：
・参加期間：8日・9日・10日
・講演希望：希望する・希望しない
講演題目：
・ロッジ丘宿泊希望：希望する・希望しない
8日：夕食・宿泊
9日：朝食・夕食・宿泊
10日：朝食
・懇親会(9日)への参加希望：希望する・希望しない
・その他要望：
--------------------- 以上 --------------------
ロッジ丘での宿泊は，大広間を数名で利用していただきます。ご了承の上お申し込みください。
9日の夜に近隣のレストランで懇親会を開く予定です。開催場所などについては，参加者数が確定次第決定する予定です。
ロッジ丘での宿泊・朝食・夕食の料金は以下になります。
宿泊費：一日あたり 4500円
朝食：一食あたり1200円
夕食：一食当たり2200円
昼食についてはロッジ丘での提供はありません。各自でお探しいただければ幸いです。近隣の飲食店情報については以下に詳しい情報があります。
内藏理史（国立情報学研究所 ）：TBA
新屋良磨（秋田大学）：TBA
松田直祐（湘南工科大学）：2階命題論理のハイティング代数意味論について
山形賴之（産業技術総合研究所）：生成AIを用いた証明生成について
会場にはホワイトボードや黒板がありませんので，プロジェクタでスライド等を映しながら講演を行っていただく形になります。投影用資料のご準備をお願いいたします。