Kisoron-ml January 2015

kisoron-ml@fos.kuis.kyoto-u.ac.jp
  • 4 participants
  • 5 discussions
JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15
JSPS-NUS Joint Workshop in Logic
by Tanaka Kazuyuki 26 Jan '15

26 Jan '15
KusatsuSeminar3/16--20
by Fujita Kenetsu 13 Jan '15

13 Jan '15
Ninth NII Type Theory Workshop
by Makoto Tatsuta 12 Jan '15

12 Jan '15
JAIST Logic Seminar Series
by Hajime Ishihara 10 Jan '15

10 Jan '15
Results per page: