Logic-ml October 2016

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

30 Oct '16
24th WoLLIC 2017 - Call for Papers
by 小野 寛晰 24 Oct '16

24 Oct '16

24 Oct '16

21 Oct '16
PEPM 2017: Call for Posters
by Ryosuke SATO 21 Oct '16

21 Oct '16
Talk by Adam Prenosil (13 Oct 11:00-)
by Tetsuya Sato 04 Oct '16

04 Oct '16
Results per page: