Logic-ml January 2024

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 8 participants
  • 10 discussions

19 Aug '24
ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24
TASE 2024: Call for Papers
by Daisuke Kimura 25 Jan '24

25 Jan '24
QEST+FORMATS 2024: Call for Papers
by Masaki Waga 16 Jan '24

16 Jan '24

11 Jan '24
CSCAT 2024 開催案内
by Kazuyuki ASADA 10 Jan '24

10 Jan '24
CSCAT 2024 開催案内
by Takeshi Tsukada 05 Jan '24

05 Jan '24
Results per page: