Logic-ml February 2014

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

27 Feb '14
JAIST Logic Seminar Series
by Hajime Ishihara 27 Feb '14

27 Feb '14
Semantic Methods in Haskell Seminar
by Makoto Hamana 26 Feb '14

26 Feb '14
Fw: last CFP - DEON2014
by Ken Satoh 23 Feb '14

23 Feb '14
APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

17 Feb '14
EASLLC 2014
by 小野 寛晰 17 Feb '14

17 Feb '14
QPL 2014: Call for Papers
by Ichiro Hasuo 15 Feb '14

15 Feb '14

12 Feb '14
Results per page: