Logic-ml March 2016

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

09 Apr '16
Talk by Nayuta Yanagisawa, Wed 30 Mar
by Toshiki Kataoka 25 Mar '16

25 Mar '16
homotopy type theory
by logic@math.tsukuba.ac.jp 23 Mar '16

23 Mar '16
Prof. Dieter Spreen at NII Logic Seminar
by Makoto Tatsuta 16 Mar '16

16 Mar '16

15 Mar '16
初めて筑波大学へ来られる方へ
by logic@math.tsukuba.ac.jp 15 Mar '16

15 Mar '16
CFP: ATVA'16 (@Oct 17-19th, Chiba)
by takashi kitamura 03 Mar '16

03 Mar '16

01 Mar '16
池上氏と横山氏の講演会(仙台)
by Tanaka Kazuyuki 01 Mar '16

01 Mar '16
Results per page: