Logic-ml January 2016

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 13 participants
  • 20 discussions

15 Mar '16

01 Mar '16
Tenth NII Type Theory Workshop
by Makoto Tatsuta 30 Jan '16

30 Jan '16
Deadline Extension: FSCD'16
by hassei@kurims.kyoto-u.ac.jp 29 Jan '16

29 Jan '16
Linearity 2016 - CFP
by hassei@kurims.kyoto-u.ac.jp 27 Jan '16

27 Jan '16
市民講演会poster
by logic@math.tsukuba.ac.jp 23 Jan '16

23 Jan '16
FSCD'16 Final Call for Papers
by hassei@kurims.kyoto-u.ac.jp 22 Jan '16

22 Jan '16
CFP: PPL 2016 カテゴリ2-4
by Takahito Aoto 18 Jan '16

18 Jan '16
Results per page: