August 2014 Archives by thread

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

Starting: Fri Aug 1 17:48:48 JST 2014
Ending: Fri Aug 29 23:09:21 JST 2014
Messages: 18

• [logic-ml] Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday   Joerg Brendle
• [logic-ml] 1st CFP: TPP2014 Theorem Proving and Provers meeting   Jacques Garrigue
• [logic-ml] RIMS研究集会「集合論における無限組み合わせ論とその応用」   Toshimichi Usuba
• [logic-ml] [2nd CfP] 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2014)   Takashi KITAMURA
• [logic-ml] 千葉 logic seminar   arai toshiyasu
• [logic-ml] Leon Horsten 氏の公理的真理理論講演会のお知らせ（8/22）   Shunsuke Yatabe
• [logic-ml] ドメイン名の変更   Atsushi Igarashi
• [logic-ml] CFP: LENLS11 (Logic and Engineering of Natural Language Semantics 11)   Koji Mineshima
• [logic-ml] APLAS 2014: Call for Posters and Demos   Jacques Garrigue
• [logic-ml] 再送：数学基礎論若手の会   Satoru YOSHIDA
• [logic-ml] Call for Participation, ICTAC 2014, 16-19 Sept, Bucharest   Gabriel Ciobanu
• [logic-ml] HSCC 2014: Call for Papers   Kohei SUENAGA
• [logic-ml] 日本ソフトウェア科学会第31回大会参加募集案内   Atsushi Igarashi
• [logic-ml] セミナー案内   KASHIMA Ryo
• [logic-ml] The Kyoto Summer School in Logic, Language and Information (KSSLLI)のお知らせ   Shunsuke Yatabe
• [logic-ml] 第5回松山TGSAセミナーのお知らせ   Hiroshi Fujita
• [logic-ml] September 1st - research talks by Yves Bertot, Pierre Casteran and Assia Mahboubi at University of Tokyo   Jacques Garrigue
• [logic-ml] 第49回 MLG 数理論理学研究集会のご案内   Katsuhiko Sano

Last message date: Fri Aug 29 23:09:21 JST 2014
Archived on: Fri Aug 29 23:10:11 JST 2014

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