April 2014 Archives by author

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

Starting: Wed Apr 2 19:28:51 JST 2014
Ending: Wed Apr 30 20:59:35 JST 2014
Messages: 11

• [logic-ml] NII Summer School on Coq in Japan (2nd Call)   Jacques Garrigue
• [logic-ml] APLAS 2014: 2nd Call for papers   Jacques Garrigue
• [logic-ml] NII Summer School on Coq in Japan (最終案内)   Jacques Garrigue
• [logic-ml] QPL 2014: Final Call for Papers   Ichiro Hasuo
• [logic-ml] SLACS 2014 / 2014 Nonstandard Analysis Symposium   YOKOYAMA Keita
• [logic-ml] モデル理論集中講義   Suzuki Toshio
• [logic-ml] Fw: CFP: 15th Congress of Logic, Methodology and Philosophy of Science, Helsinki, 3-8 August 2015   Mariko Yasugi
• [logic-ml] 数学会からのお知らせ   shioya at math.tsukuba.ac.jp
• [logic-ml] 数学会からのお知らせ   shioya at math.tsukuba.ac.jp
• [logic-ml] 数学会からのお知らせ   shioya at math.tsukuba.ac.jp
• [logic-ml] 千葉 logic seminar   arai toshiyasu

Last message date: Wed Apr 30 20:59:35 JST 2014
Archived on: Wed Apr 30 20:59:39 JST 2014

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