Logic-ml June 2016

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

30 Oct '16
JAIST Logic Seminar Series
by Hajime Ishihara 28 Jun '16

28 Jun '16
CFP: PEPM 2017
by Ryosuke SATO 27 Jun '16

27 Jun '16
IWC 2016 - 2nd Call for Papers
by Nao Hirokawa 14 Jun '16

14 Jun '16
JAIST Logic Seminar Series
by Hajime Ishihara 08 Jun '16

08 Jun '16
Talk by Sato Tetsuya, 14 Tue Jun
by Takumi Akazaki 08 Jun '16

08 Jun '16

02 Jun '16
Results per page: