April 2018 Archives by thread

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

Starting: Sun Apr 1 06:46:59 JST 2018
Ending: Fri Apr 27 10:12:06 JST 2018
Messages: 10

• [logic-ml] Symposium on Modernism and Modernisation in Mathematics   久木田水生
• [logic-ml] Talk by Dieter Spreen (April 4, Fukuoka)   Akitoshi Kawamura
• [logic-ml] (no subject)   KUSAKARI Keiichirou
• [logic-ml] LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Last call for papers   Makoto Hamana
• [logic-ml] Kobe Colloquium on Logic: a talk by Prof. Philip Welch (18 April, 2018)   Sakae Fuchino
• [logic-ml] IWC 2018: Final CfP   KIKUCHI Kentaro
• [logic-ml] Project colloquium talk by Ichiro Hasuo on 25 April   urabenatsuki at is.s.u-tokyo.ac.jp
• [logic-ml] Call for Participation: FLOPS 2018 (deadline extended to April 25th)   Koji Nakazawa
• [logic-ml] JAIST Logic Seminar Series   Hajime Ishihara
• [logic-ml] 国際会議AQIS18投稿のご案内   NISHIMURA Harumichi

Last message date: Fri Apr 27 10:12:06 JST 2018
Archived on: Fri Apr 27 10:16:54 JST 2018

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