Logic-ml September 2015

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 11 participants
  • 15 discussions
セミナー案内
by KASHIMA Ryo 17 Nov '15

17 Nov '15
特任研究員の募集
by koba 16 Oct '15

16 Oct '15
job openings at AIRC, Japan
by Ken Satoh 30 Sep '15

30 Sep '15
TMC 2015 and Cresswell's lectures
by 小野 寛晰 21 Sep '15

21 Sep '15
LATD 2016 (First Announcement)
by 小野 寛晰 19 Sep '15

19 Sep '15
証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 17 Sep '15

17 Sep '15

14 Sep '15
FLOPS2016 論文募集 (deadline extension)
by Yukiyoshi Kameyama 08 Sep '15

08 Sep '15
Results per page: