September 2020 Archives by author

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

Starting: Tue Sep 1 08:08:18 JST 2020
Ending: Fri Sep 18 09:34:39 JST 2020
Messages: 9

• [logic-ml] 専任教員採用公募（法政大学理工学部）   Makoto Kanazawa
• [logic-ml] 特任研究員の公募   Naoki Kobayashi
• [logic-ml] RIMS Set Theory Workshop 2020 (call for participation)   Diego A. Mejía
• [logic-ml] FLOPS 2020: Call for Participation   Keisuke Nakano
• [logic-ml] 第23回プログラミングおよびプログラミング言語ワークショップ (PPL 2021) 論文/発表募集   Hiroshi UNNO
• [logic-ml] modal homotopy type theory   logic
• [logic-ml] reseach on the theory of quanta   logic
• [logic-ml] reseach on the theory of quanta   logic
• [logic-ml] reseach on the theory of quanta   logic

Last message date: Fri Sep 18 09:34:39 JST 2020
Archived on: Fri Sep 18 09:34:53 JST 2020

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