ラムダ計算と論理の早春セミナー(2007.3)

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

• 2007 年 3 月 8 日(木) 午後 5 時から
• 2007 年 3 月 12 日(月) 正午まで

• 〒377-1711 群馬県吾妻郡草津町大字草津字白根737
• 電話 0279-88-2212
  
• 草津セミナーハウス 講義室B
• 地図(480KB)

• 古森 雄一, 宮澤智帆
• E-mail: komori@\alpha (\alpha に math.s.chiba-u.ac.jp を代入して使ってください)

• Komori, Yuichi(Chiba Univ.): 古典論理における証明図変形の強正規化定理の証明
• Makoto Tatsuta(NII): Simple saturated sets for disjunction and second-order existential quantification
• Fujita, Kenetsu(Gunma Univ.): Residuated CPS-translation
• Sato, Takashi(Tohoku Univ.): Reverse Mathematics and Infinite Group Theory
• Komori, Yuichi(Chiba Univ.): 古典論理の公理化などの問題について

• Komori, Yuichi(Chiba Univ.)(3/08-12)
• Agata Ciabattoni (Vienna Univ. of Technology)(3/09-11)
• Cristinel Mateis (Vienna Univ. of Technology)(3/09-11)
• Makoto Tatsuta(NII)(3/08-11)
• 照井 一成(NII)(3/09-11)
• Fujita, Kenetsu(Gunma Univ.)(3/10-11)
• Okabayashi, Miyuki(Chiba Univ.)(3/09-12)
• Miyazawa, Chiho(Chiba Univ.)(3/08-12)
• 山崎 武（東北大）(3/10-12)
• 横山 啓太（東北大）
• Sato, Takashi(Tohoku Univ.)
• 松家 宏幸（東北大）
• 森田 創勢（千葉大）
• 竹内耕太（千葉大）
• 石田 和（千葉大）
• 水野 麻依子（千葉大）

--> 講演を希望される方は，下記の形式で電子メールにて 2007 年 2 月 28 日ま でに，古森宛に申し込んで下さい．

会議室の準備のために講演希望者だけでなく参加希望者も下記の形式で 電子メールにて 2007 年 2 月 28 日までに，古森まで知らせて下さい。

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

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