May 2018 Archives by thread

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

Starting: Sat May 5 13:26:57 JST 2018
Ending: Tue May 29 11:46:05 JST 2018
Messages: 13

• [logic-ml] Project colloquium talk by Paolo Arcaini on 9 May   urabenatsuki at is.s.u-tokyo.ac.jp
• [logic-ml] Talk by Soichiro Fujii (10 May, 11.00-, at Kyoto University)   Kazushige TERUI
• [logic-ml] フォーマルアプローチ特集論文募集のご案内   mano.ken at lab.ntt.co.jp
• [logic-ml] Tutorial by William Byrd at Kyoto Univ.   Atsushi Igarashi
• [logic-ml] SLACS 2018 (8月8-9日) 講演募集のお知らせ   Katsuhiko Sano
• [logic-ml] Announcement on SAML 2018 / Takeuti Memorial Symposium   Teruyuki YORIOKA
  • [logic-ml] Announcement on SAML 2018 / Takeuti Memorial Symposium   Teruyuki YORIOKA
• [logic-ml] SAML 2018 / Takeuti Memorial Symposium 講演募集   Teruyuki YORIOKA
• [logic-ml] The 21st Japan–Korea Joint Workshop on Algorithms and Computation (WAAC 2018) 福岡8月26～27日   Akitoshi Kawamura
• [logic-ml] 特任研究員の募集   koba at kb.is.s.u-tokyo.ac.jp
• [logic-ml] Project colloquium by Tomoo Yokoyama on 30 May   Kohei SUENAGA
  • [logic-ml] Project colloquium by Tomoo Yokoyama on 30 May   Kohei SUENAGA
• [logic-ml] AWPL 2018 (deadline extended)   小野 寛晰

Last message date: Tue May 29 11:46:05 JST 2018
Archived on: Tue May 29 11:50:54 JST 2018

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