Kisoron-ml

kisoron-ml@fos.kuis.kyoto-u.ac.jp
  • 599 discussions
証明論研究集会2018のご案内
by Yoshihito Tanaka 31 Aug '18

31 Aug '18

25 Aug '18
SAML 2018 / Takeuti Memorial Symposium
by Teruyuki YORIOKA 23 Aug '18

23 Aug '18
Call for Presentation at CTFM2018
by Kenshi Miyabe 13 Jul '18

13 Jul '18

09 Jul '18

25 Jun '18
秋季総合分科会
by Satoru Kuroda 22 Jun '18

22 Jun '18
Preliminary announcement of CTFM2018
by Kenshi Miyabe 01 Jun '18

01 Jun '18

21 May '18

17 May '18

15 May '18
JAIST Logic Seminar Series
by Hajime Ishihara 21 Apr '18

21 Apr '18

26 Mar '18

10 Mar '18
International Summer School on Proof Theory
by Norbert Preining 10 Mar '18

10 Mar '18

05 Mar '18
Results per page: