January 2023 Archives by thread

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

Starting: Sun Jan 8 10:23:54 JST 2023
Ending: Tue Jan 24 16:40:35 JST 2023
Messages: 8

• [logic-ml] Distributed relation algebra   logic
  • [logic-ml] third-order functionals on partial combinatory algebras   logic
• [logic-ml] 第57回MLG数理論理学研究集会   kawano.t.af
• [logic-ml] CSCAT 2023 開催案内   Koko Akazaki Muroya
• [logic-ml] FSCD 2023: Second Call for Papers   Nao Hirokawa
• [logic-ml] リサーチアシスタント(RA)募集のお知らせ   Yoriyuki Yamagata
• [logic-ml] CADE-29 Call for Papers   Nao Hirokawa
• [logic-ml] 田中一之名誉教授および板東重稔名誉教授の最終講義のご案内(2月10日(金))   YOKOYAMA Keita

Last message date: Tue Jan 24 16:40:35 JST 2023
Archived on: Tue Jan 24 16:41:09 JST 2023

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