May 2014 Archives by author

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

Starting: Thu May 1 10:57:55 JST 2014
Ending: Fri May 30 11:03:12 JST 2014
Messages: 14

• [logic-ml] APLAS 2014: Last CFP   Jacques Garrigue
• [logic-ml] APLAS 2014: Extended deadline   Jacques Garrigue
• [logic-ml] QPL 2014: Call for Participation   Ichiro Hasuo
• [logic-ml] Talks by Georg Struth (29 May) & by Bart Jacobs (2 Jun) at U Tokyo   Ichiro Hasuo
• [logic-ml] CCC 2014; second call for papers   Hajime Ishihara
• [logic-ml] 【再送】SLACS 2014 / 2014 Nonstandard Analysis Symposium   YOKOYAMA Keita
• [logic-ml] 【講演募集の延長】SLACS 2014 / 2014 Nonstandard Analysis Symposium   YOKOYAMA Keita
• [logic-ml] Program of SLACS 2014 / 2014 Nonstandard Analysis Symposium   YOKOYAMA Keita
• [logic-ml] Kobe Colloquium (May 20, 2014, Sawa)   Makoto Kikuchi
• [logic-ml] Kobe Colloquium (June 3, 2014, Hirao)   Makoto Kikuchi
• [logic-ml] JAIST Logic Seminar Series   Takako Nemoto
• [logic-ml] セミナー案内   KASHIMA Ryo
• [logic-ml] 千葉 logic seminar（会場変更）   arai toshiyasu
• [logic-ml] 千葉 logic seminar   arai toshiyasu

Last message date: Fri May 30 11:03:12 JST 2014
Archived on: Fri May 30 11:03:17 JST 2014

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