ラムダ計算と論理の早春セミナー(2006.3)
Agata Ciabattoni(イタリア人, 女性)
さんの来日の機会に昨年と同様な「早春ラムダと論理の研究会」を草津セミナーハウ
スで開きます。
ラムダ計算と論理およびその周辺に関する話題に関してなごやかな雰囲気の議論の場に致
したいと思っています。また, 成果の発表の場というよりは成果をあげる場と考えています
ので講演の数はあまり多くしない予定です。
日時:
- 2006 年 3 月 9 日(木) 午後 5 時から
- 2006 年 3 月 13 日(月) 正午まで
場所:
- 〒377-1711 群馬県吾妻郡草津町大字草津字白根737
- 電話 0279-88-2212
- 草津セミナーハウス 講義室A
- 地図
世話人:
- 鈴木 隆士
- E-mail: zuonan5466 ＠Ｙａｈｏｏ．ｃｏ．ｊｐ
講演予定者: 題目
- Komori, Yuichi(Chiba Univ.): Independent Axiom Systems of Minimal formulas for Classical Logic
- Agata Ciabattoni (Vienna Univ. of Technology): to be announced
- Makoto Tatsuta(NII): to be announcd
- Fujita, Kenetsu(Gunma Univ.): to be announced
- Naito, Yasuhiro(Chiba Univ.): A method to of \beta-normal form
- Okabayashi, Miyuki(Chiba Univ.): to be announced
- Suzuki, Takashi(Chiba Univ.): On modal logics
- Sato, Takashi(Tohoku Univ.): to be announced
講演を希望される方は，下記の形式で電子メールにて 2006 年 2 月 28 日ま
でに，鈴木宛に申し込んで下さい．
------------------ 講演申込書 -----------------
早春のラムダ計算と論理のセミナー(2006.3)で講演します。
題 目：
希望時間：
氏名：
所属：
連絡先(E-mail，住所，電話番号):
------------------ 以 上 ------------------
会議室の準備のために講演希望者だけでなく参加希望者も下記の形式で
e-mail にて鈴木まで知らせて下さい。
------------------ 参加申込書 -----------------
早春のラムダ計算と論理のセミナー(2006.3)に参加します。
氏名：
所属：
連絡先（E-mail)：
------------------ 以 上 ------------------
宿泊について
宿は原則としてここなどを参考にして各自予約してください。
草津セミナーハウスには若干名が泊まれますので２月１８日までに鈴木まで問い合わせください。
署名
公開鍵
2006 年 2 月 19 日に更新
2006 年 10 月 7 日に更新
