Logic-ml July 2016

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

30 Oct '16
Call for Participation: ICFP 2016
by Jacques Garrigue 26 Jul '16

26 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

20 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16
Talk by Liang-ting Chen, 19 Tue Jul
by Takumi Akazaki 16 Jul '16

16 Jul '16
Nagoya Set Theory Seminar
by 吉信 康夫 12 Jul '16

12 Jul '16
[TACL 2017] First announcement
by 小野 寛晰 04 Jul '16

04 Jul '16
Results per page: