September 2021 Archives by thread

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

Starting: Wed Sep 1 11:56:19 JST 2021
Ending: Wed Sep 29 15:12:47 JST 2021
Messages: 7

• [logic-ml] Session of Logic at CLAM 2021 - 15-17 September, 2021. Online event   Diego A. Mejía
• [logic-ml] 数学基礎論若手の会 2021（12/3（金）～12/5（日））   Taishi Kurahashi
• [logic-ml] 教員公募のお知らせ (愛媛大学)   FUJITA Hiroshi
• [logic-ml] 筑波大学数理物質系数学域の公募（助教）   shioya
• [logic-ml] higher inductive types   logic
• [logic-ml] QIT45のご案内   NISHIMURA Harumichi
• [logic-ml] RIMS共同研究（公開型）「証明と計算の理論と応用」のご案内   ikeda

Last message date: Wed Sep 29 15:12:47 JST 2021
Archived on: Wed Sep 29 15:12:53 JST 2021

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