November 2010 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Nov 1 11:53:08 JST 2010
Ending: Mon Nov 29 16:22:19 JST 2010
Messages: 15

• [logic-ml] Adventures of Categories: Applied Category Theory Colloquium   Ichiro Hasuo
  • [logic-ml] TPP10 (Theorem Proving and Provers Meeting) Program   Jacques Garrigue
• [logic-ml] Workshop (Mon 2010.11.08) in Kyoto   Ichiro Hasuo
  • [logic-ml] Call for Papers: Infinity in Mathematics and Philosophy   Makoto Kikuchi
  • [logic-ml] The 45th MLG Meeting   Takahiro Seki
• [logic-ml] 数学基礎論若手の会2010 プログラム   leibniz
  • [logic-ml] Kobe Colloquium on Logic, Statistics and Informatics のお知らせ   SAKAI Hiroshi
  • [logic-ml] Talk by Kazushige Terui, next Thursday   Ichiro Hasuo
    • [logic-ml] Fwd: Leo Esakia   Hiroakira Ono
  • [logic-ml] 大阪府立大学 情報数理談話会（12月10日金曜日/立木秀樹先生）   Masaru Kada
• [logic-ml] 東北大学ロジックセミナー   YOKOYAMA Keita
  • [logic-ml] Talk by Kohei Suenaga, Thursday next week (2010.12.2)   Ichiro Hasuo
• [logic-ml] Talk by Prof. Sy-David Friedman on Nov.29   Sakae Fuchino
• [logic-ml] Talk by Prof. Sy-David Friedman on Nov.29   Sakae Fuchino
• [logic-ml] 雑誌（Logica universalis）の宣伝 from Prof. Beziau   Ichiro Hasuo

Last message date: Mon Nov 29 16:22:19 JST 2010
Archived on: Mon Nov 29 16:22:25 JST 2010

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...