February 2013 Archives by date
Starting: Fri Feb 1 10:35:16 JST 2013
Ending: Thu Feb 28 23:24:51 JST 2013
Messages: 23
- [logic-ml] Eighth NII Type Theory Workshop
Makoto Tatsuta
- [logic-ml] 【参加申込締切2013年2月4日(月)】CTFM 2013, Tokyo, 18-20, Feb 2013
Naohi Eguchi
- [logic-ml] 重要なご連絡ーアブストラクトの公開について(訂正)
Masahiro Kumabe
- [logic-ml] Kobe Colloquium (Feb 6, 2013, Pelupessy)
Makoto Kikuchi
- [logic-ml] 仙台ロジックスクール
Tanaka Kazuyuki
- [logic-ml] =?ISO-2022-JP?B?UmU6IEVMQxskQjgmNWY9ODJxIScbKEIzGyRCN24bKEI=?=14( 木) ), 13(水), 17(日)午後午後
Jun Tarui
- [logic-ml] Prof. Yue Yang Lecture at NII Logic Seminar
Makoto Tatsuta
- [logic-ml] Dr. Sam Sanders Lecture at NII Logic Seminar
Makoto Tatsuta
- [logic-ml] Prof. Helmut Schwichtenberg Lecture at NII Logic Seminar
Makoto Tatsuta
- [logic-ml] Seminar on Thu Feb 21
Akitoshi Kawamura
- [logic-ml] PPL2013 参加募集
Shinya Katsumata
- [logic-ml] セミナーのお知らせ
YOKOYAMA Keita
- [logic-ml] Call for papers, 2nd Conf History & Philosophy of Computing, ENS Paris, oct 2013
Kazushige TERUI
- [logic-ml] ICE 2013 Call for Papers
Ichiro Hasuo
- [logic-ml] Kobe Colloquium (Feb. 18, 2013)
Sakae Fuchino
- [logic-ml] PPL2013のご案内(参加登録:2/18まで)
Shinya Katsumata
- [logic-ml] CFP: Ninth Panhellenic Logic Symposium
Nikolaos S. Papaspyrou
- [logic-ml] The Asian Mathematical Conference 2013 のご案内
Masahiro Kumabe
- [logic-ml] ラムダ計算と論理の早春セミナー3/12--3/16
Fujita Kenetsu
- [logic-ml] Workshop on constructivism
Mariko Yasugi
- [logic-ml] 3月の数学会年会について(重要)
Masahiro Kumabe
- [logic-ml] CALCO 2013: Deadline Extension
Ichiro Hasuo
- [logic-ml] 日本数学会キャリアパスセミナーのご案内
Masahiro Kumabe
Last message date:
Thu Feb 28 23:24:51 JST 2013
Archived on: Thu Feb 28 23:25:00 JST 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).