Logic-ml February 2020

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 8 participants
  • 14 discussions

27 Feb '20
Nagoya Logic Seminar
by 吉信 康夫 21 Feb '20

21 Feb '20
Bx 2020 - FIRST CALL FOR PAPERS
by Kazutaka Matsuda 19 Feb '20

19 Feb '20
Deadline extended to Feb 23: MT-CPS 2020
by Kohei SUENAGA 16 Feb '20

16 Feb '20
TPLCV-2020 - Call for Papers
by 小野 寛晰 14 Feb '20

14 Feb '20
Nagoya logic seminar
by 吉信 康夫 13 Feb '20

13 Feb '20

08 Feb '20
Results per page: