September 2014 Archives by thread

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

Starting: Sun Sep 14 13:09:20 JST 2014
Ending: Mon Sep 22 21:33:12 JST 2014
Messages: 7

• [kisoron-ml] JAIST Logic Seminar Series (18th Sep. 2014: Tadeusz Litak on Relational lattices)   Katsuhiko Sano
  • [kisoron-ml] 数学会からのお知らせ   shioya at math.tsukuba.ac.jp
    • [kisoron-ml] 数学会からのお知らせ   shioya at math.tsukuba.ac.jp
• [kisoron-ml] Prof. Aart Middeldorp at NII Logic Seminar   Makoto Tatsuta
• [kisoron-ml] 研究集会「高信頼な理論と実装のための定理証明および定理証明器」案内   Yoshihito Tanaka
• [kisoron-ml] Prof. Aleksy Schubert at NII Logic Seminar   Makoto Tatsuta
• [kisoron-ml] 再送：数学基礎論若手の会   YOSHIDA Satoru

Last message date: Mon Sep 22 21:33:12 JST 2014
Archived on: Tue Sep 23 09:24:50 JST 2014

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