Logic-ml May 2016

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 11 participants
  • 14 discussions
homotopy type theory
by logic@math.tsukuba.ac.jp 30 Oct '16

30 Oct '16

27 May '16
CFP: ESSS 2016
by Yoriyuki Yamagata 18 May '16

18 May '16
IWC 2016 - Call for Papers
by Nao Hirokawa 15 May '16

15 May '16
AiML-2016: CALL FOR SHORT PRESENTATIONS
by 小野 寛晰 10 May '16

10 May '16

09 May '16
Results per page: