April 2016 Archives by date

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

Starting: Sat Apr 9 13:16:15 JST 2016
Ending: Thu Apr 28 12:17:05 JST 2016
Messages: 10

• [logic-ml] homotopy type theory   logic at math.tsukuba.ac.jp
• [logic-ml] Fwd: 松山 TGSAセミナーのお知らせ（４月２８日）   Hiroshi Fujita
• [logic-ml] SLACS2016のご案内   Koji Nakazawa
• [logic-ml] AWPL-TPLC 2016 and Workshop on Williamson’s Philosoph   小野 寛晰
• [logic-ml] 数学基礎論とその応用   Makoto Kikuchi
• [logic-ml] 第二十七回 ALGI（代数，論理，幾何と情報科学研究集会）の講演募集のお知らせ   西澤弘毅
• [logic-ml] 数学基礎論若手の会2016のご案内   Kenshi Miyabe
• [logic-ml] Deadline Extension: ATVA 2016 (14th Int'l Symp. on Automated Technology for Verification and Analysis)   Takashi Kitamura
• [logic-ml] Talk by Cho Kenta (Nijmegen), Tue 10 May   Takumi Akazaki
• [logic-ml] CFP: 日本ソフトウェア科学会第33回大会   KIKUCHI Kentaro

Last message date: Thu Apr 28 12:17:05 JST 2016
Archived on: Thu Apr 28 12:17:43 JST 2016

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