ラムダ計算と論理の早春セミナー in Kusatsu (LLK 2009.3)

今年度も 前回, 前々回, 前々々回 と同様な「早春ラムダと論理の研究会」を草津セミナーハウスで開きます. ラムダ計算と論理およびその周辺に関する話題に関してなごやかな雰囲気の議論の場に致 したいと思っています.また,成果の発表の場というよりは成果をあげる場と考えています ので講演の数はあまり多くしない予定です.


日時:
場所:
世話人:
講演者: 題目 参加定者

講演を希望される方は,下記の形式で電子メールにて 2009 年 3 月 4 日(水)ま でに,黒田・藤田宛に申し込んで下さい(必着:締切を延期しました).

------------------ 講演申込書 -----------------
早春のラムダ計算と論理のセミナー(2009.3)で講演します.
題 目:
希望時間:
氏名:
所属:
連絡先(E-mail,住所,電話番号):
------------------ 以 上 -------------------------

会議室の準備のために講演希望者だけでなく参加希望者も下記の形式で 電子メールにて 2009 年 3 月 4 日までに,黒田・藤田まで知らせて下さい.

------------------ 参加申込書 -----------------
早春のラムダ計算と論理のセミナー(2009.3)に参加します。
氏名:
所属:
連絡先(E-mail):
------------------ 以 上 -------------------------


宿泊について

セミナーハウスに宿泊を希望する方は下記の形式で 電子メールにて藤田まで申し込んで下さい.確保した部屋が埋まり ましたら申込を締め切ります.
------------------ 宿泊申込 -----------------------------------
早春のラムダ計算と論理のセミナー(2009.3)のセミナーハウスの 宿泊の申込をします。
氏名:
所属:
連絡先(E-mail):
希望しないものを消してください.
教員用部屋, 学生用部屋, 教員用(なければ学生用部屋でもよい) (教員はどちらの部屋にも泊まれますが,学生は学生用の部屋にしか泊まれません)
1. 13日夕食
2. 13日宿泊
3. 14日朝食
4. 14日昼食
5. 14日夕食
6. 14日宿泊
7. 15日朝食
8. 15日昼食
9. 15日夕食
10. 15日宿泊
11. 16日朝食
12. 16日昼食
13. 16日夕食
14. 16日宿泊
15. 17日朝食
------------------ 以上 ------------------------------------------

セミナーハウス以外の宿を探す方はここなどを参考にしてください.

2008 年 12 月 09 日に作成