July 2015 Archives by author

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

Starting: Fri Jul 3 10:57:24 JST 2015
Ending: Fri Jul 31 20:27:56 JST 2015
Messages: 14

• [logic-ml] Fwd: Kobe Colloquium on Logic, Statistics and Informatics, July 14 (Olivier Finkel)   Joerg Brendle
• [logic-ml] Kobe Colloquium (July 28, 2015, J. Makowsky)   Sakae Fuchino
• [logic-ml] TPP2015 Theorem Proving and Provers 集会のお知らせ   Jacques Garrigue
• [logic-ml] 講演のお知らせ (吉田 展子さん，7/29)   Atsushi Igarashi
• [logic-ml] LFCS 2016 Second Call For Papers   Hajime Ishihara
• [logic-ml] FLOPS2016 論文募集   Yukiyoshi Kameyama
• [logic-ml] CSセミナーin桐生   Fujita Kenetsu
• [logic-ml] 数学基礎論サマースクール2015   Makoto Kikuchi
• [logic-ml] 数学基礎論サマースクール2015   Makoto Kikuchi
• [logic-ml] 1st CFP: 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2015)   Takashi Kitamura
• [logic-ml] CFP: LENLS12 (Logic and Engineering of Natural Language Semantics 12)   Koji Mineshima
• [logic-ml] セミナー案内   KASHIMA Ryo
• [logic-ml] CFP: 43rd TRS Meeting   Yoshihito Toyama
• [logic-ml] ALGIの暫定プログラムのお知らせと懇親会の参加募集   西澤弘毅

Last message date: Fri Jul 31 20:27:56 JST 2015
Archived on: Fri Jul 31 20:28:00 JST 2015

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