Logic-ml October 2019

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 13 participants
  • 13 discussions
第54回MLG数理論理学研究集会
by Naosuke MATSUDA 29 Oct '19

29 Oct '19
FLOPS 2020 Second Call for papers
by Keisuke Nakano 24 Oct '19

24 Oct '19
Nagoya logic seminar
by 吉信 康夫 22 Oct '19

22 Oct '19
Talk by Alex Kavvos (October 17th, 11.00-)
by Kazushige TERUI 15 Oct '19

15 Oct '19
数学基礎論若手の会2019のご案内
by Takayuki Kihara 14 Oct '19

14 Oct '19

10 Oct '19
Norbert Müller's Talk, Tue 15 Oct, Fukuoka
by Akitoshi Kawamura 09 Oct '19

09 Oct '19
FSCD 2020 - First CFP
by Nao Hirokawa 04 Oct '19

04 Oct '19
Results per page: