January 2012 Archives by subject
Starting: Wed Jan 4 10:56:01 JST 2012
Ending: Tue Jan 31 21:41:57 JST 2012
Messages: 17
- [logic-ml] Asian Workshop on Philosophical Logic (the 1st announcement)
Hiroakira Ono
- [logic-ml] JAIST Spring School 2012 - Formal Reasoning: Theory and Application - (5-9 March, 2012)
Katsuhiko Sano
- [logic-ml] JAIST Verification Seminars by Yijia Chen and Yohji Akama (Jan 31, Feb 9)
Nao Hirokawa
- [logic-ml] Kobe Colloquium on Logic, Statistics and Informatics Jan. 16, Jan. 18, and Jan. 19
Joerg Brendle
- [logic-ml] MSFP 2012 call for participation
Ichiro Hasuo
- [logic-ml] Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012
BEKKI Daisuke
- [logic-ml] PPL2012 参加募集&カテゴリ3発表募集
Koji Nakazawa
- [logic-ml] PPL2012 発表募集(カテゴリ2, 3締切が間近です)
Koji Nakazawa
- [logic-ml] Prof. Kwangkeun Yi Lecture at NII Logic Seminar
Makoto Tatsuta
- [logic-ml] Talk by Jean-Yves Girard at RIMS, Kyoto U. (1/12)
Kazushige TERUI
- [logic-ml] Talk by Stefano Berardi at RIMS, Kyoto U. (2/2)
Kazushige TERUI
- [logic-ml] Talk by Thomas Agotnes (1/23)
Koji Hasebe
- [logic-ml] Workshop on Proof Theory and Computability Theory 2012
Naohi Eguchi
- [logic-ml] 【重要:中止のご連絡】Talk by Thomas Agotnes (1/23) [Cancelled]
Koji Hasebe
- [logic-ml] ポスドクの募集案内(Postdoc position in Quantum Information)
Harumichi Nishimura
- [logic-ml] 情報処理学会 第88回プログラミング研究発表会(2012/03) 発表募集 (再送)
Keisuke Nakano
- [logic-ml] 計算機言語談話会(@産総研尼崎)開催【2012/2/1】のお知らせ
Takashi KITAMURA
Last message date:
Tue Jan 31 21:41:57 JST 2012
Archived on: Tue Jan 31 21:42:08 JST 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).