August 2019 Archives by thread

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

Starting: Thu Aug 1 10:11:05 JST 2019
Ending: Sat Aug 31 16:31:11 JST 2019
Messages: 10

• [logic-ml] [参加募集] The Coq Workhsop 2019   Jacques Garrigue
• [logic-ml] ９月３日(火)午後 東大駒場「応用論理学」   Toshio Suzuki
• [logic-ml] リマインダ: SLACS 2019 講演募集のお知らせ   Kensuke Kojima
• [logic-ml] PPL サマースクール 2019 のご案内   Kohei SUENAGA
• [logic-ml] 代数・論理・幾何と情報科学（ALGI）8月31日～9月1日（福岡）懇親会など   Akitoshi Kawamura
• [logic-ml] 数学基礎論若手の会2019のご案内   Takayuki Kihara
• [logic-ml] AWPL2020 - CALL FOR PAPERS   小野 寛晰
• [logic-ml] Hans van Ditmarsch教授講演   Satoshi Tojo
• [logic-ml] 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) 論文/発表募集   Kazuyuki ASADA
• [logic-ml] SLACS2019プログラム確定のお知らせ   Kensuke Kojima

Last message date: Sat Aug 31 16:31:11 JST 2019
Archived on: Sat Aug 31 16:31:33 JST 2019

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