Logic-ml May 2014

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 8 participants
  • 15 discussions
セミナー案内
by KASHIMA Ryo 30 Jun '14

30 Jun '14
QPL 2014: Final Call for Papers
by Ichiro Hasuo 02 Jun '14

02 Jun '14
Kobe Colloquium (June 3, 2014, Hirao)
by Makoto Kikuchi 30 May '14

30 May '14
APLAS 2014: Extended deadline
by Jacques Garrigue 27 May '14

27 May '14
千葉 logic seminar
by arai toshiyasu 20 May '14

20 May '14
Kobe Colloquium (May 20, 2014, Sawa)
by Makoto Kikuchi 19 May '14

19 May '14
CCC 2014; second call for papers
by Hajime Ishihara 19 May '14

19 May '14
JAIST Logic Seminar Series
by Takako Nemoto 16 May '14

16 May '14
Results per page: