Logic-ml March 2018

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 14 participants
  • 20 discussions
セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19
特任研究員の募集
by koba@kb.is.s.u-tokyo.ac.jp 28 May '18

28 May '18

01 Apr '18
Call for Participation: FLOPS 2018
by Koji Nakazawa 30 Mar '18

30 Mar '18

26 Mar '18
CFP: 49th TRS Meeting at Ikaho
by Fujita Kenetsu 15 Mar '18

15 Mar '18
Lectures by Prof. Jeremy Gray
by 久木田水生 13 Mar '18

13 Mar '18
Project colloquium talk by Thorsten Wissman on 15 March
by urabenatsuki@is.s.u-tokyo.ac.jp 13 Mar '18

13 Mar '18
Results per page: