ラムダ計算と論理の晩夏セミナー(2008.9)
3 月に恒例となっていました「早春ラムダと論理の研究会」を 2008 年は開催しませんでしたが,
9 月に「晩夏ラムダと論理の研究会」を開催します。
開催される季節は違いますが前回,
前前回と同様な研究会です。
ラムダ計算と論理およびその周辺に関する話題に関してなごやかな雰囲気の議論の場に致
したいと思っています。また, 成果の発表の場というよりは成果をあげる場と考えています
ので講演の数はあまり多くしない予定です。前前回の写真
日時:
- 2008 年 9 月 18 日(木) 午後 5 時から
- 2008 年 9 月 22 日(月) 正午まで
場所:
- 〒377-1711 群馬県吾妻郡草津町大字草津字白根737
- 電話 0279-88-2212
- 草津セミナーハウス: D セミナー室
- 地図(480KB)
世話人:
- 古森 雄一, 山田恵佑
- E-mail: komori@\alpha (\alpha に math.s.chiba-u.ac.jp を代入して使ってください)
講演者: 題目
参加者
- 緒方 典裕(大阪大)(-)
- 古森 雄一(千葉大)(9/18-22)
- 黒田 覚(群馬県立女子大)(9/18-20)
- 倉田 俊彦(法政大)(9/20-21)
- 山田恵佑(千葉大 M1)(9/18-22)
- 姜 丹(千葉大 M2)(9/18-22)
- 馬 静(城西国際大 U3)(9/18-22)
- 田村 渉(東北大 M1)(9/18-22)
- 木原 貴行(東北大 M2)(9/18-22)
- 平井 洋一(東大 M1)(9/18-22)
- 根元 多佳子(東北大 D3)(9/18-21)
- 竹内 耕太(筑波大学 M1)(9/19-9/22)
講演を希望される方は,下記の形式で電子メールにて 2008 年 9 月 10 日ま
でに,古森宛に申し込んで下さい.
10 日を過ぎていますが, まだ受け付けています(12 日追記)。
------------------ 講演申込書 -----------------
晩夏のラムダ計算と論理のセミナー(2008.9)で講演します。
題 目:
希望時間:
氏名:
所属:
連絡先(E-mail,住所,電話番号):
------------------ 以 上 ------------------
会議室の準備のために講演希望者だけでなく参加希望者も下記の形式で
電子メールにて 2008 年 9 月 10 日までに,古森まで知らせて下さい。
------------------ 参加申込書 -----------------
晩夏のラムダ計算と論理のセミナー(2008.9)に参加します。
氏名:
所属:
連絡先(E-mail):
------------------ 以 上 ------------------
セミナーハウス以外の宿を探す方はここなどを参考にしてください。
2008 年 07 月 03 日に作成
2008 年 10 月 16 日に更新
2008 年 11 月 26 日に更新