List name | Post address | Description |
---|---|---|
Asian-logic | asian-logic@fos.kuis.kyoto-u.ac.jp | Asian Logic Mailing List |
jssst-ppl | jssst-ppl@fos.kuis.kyoto-u.ac.jp | プログラミング論研究会メイリングリスト |
Kisoron-ml | kisoron-ml@fos.kuis.kyoto-u.ac.jp | 数学基礎論メイリングリスト |
Logic-ml | logic-ml@fos.kuis.kyoto-u.ac.jp | 論理学メイリングリスト |