Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions

08 Feb '19
JAIST Logic Seminar Series
by Hajime Ishihara 25 Jan '19

25 Jan '19
RIMS
by arai toshiyasu 24 Jan '19

24 Jan '19

14 Jan '19
FSCD 2019 Last Call for Papers
by Nao Hirokawa 11 Jan '19

11 Jan '19

10 Jan '19

29 Dec '18
jobs in Canberra (from Rajeev Gore)
by 小野 寛晰 22 Dec '18

22 Dec '18
セミナー案内
by KASHIMA Ryo 12 Dec '18

12 Dec '18
JAIST Logic Workshopのご案内
by Hitoshi Omori 08 Dec '18

08 Dec '18

28 Nov '18
FSCD 2019 Second Call for Papers
by Nao Hirokawa 28 Nov '18

28 Nov '18
Nagoya Logic Seminar
by 吉信 康夫 09 Nov '18

09 Nov '18
証明論研究集会2018のご案内
by Yoshihito Tanaka 08 Nov '18

08 Nov '18
第53回MLG数理論理学研究集会
by Suzuki, Nobu-Yuki 05 Nov '18

05 Nov '18
SLS2018(仙台)のご案内
by 小俣 安彦 02 Nov '18

02 Nov '18
数学基礎論若手の会2018のご案内
by "新屋良磨(秋田大)" 26 Oct '18

26 Oct '18

19 Oct '18

18 Sep '18

17 Sep '18

12 Sep '18
Igor Potapov's talk (September 19, Fukuoka)
by Akitoshi Kawamura 02 Sep '18

02 Sep '18

01 Sep '18
証明論研究集会2018のご案内
by Yoshihito Tanaka 31 Aug '18

31 Aug '18

27 Aug '18

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

23 Aug '18

19 Jul '18
数学基礎論サマースクール2018
by Makoto Kikuchi 18 Jul '18

18 Jul '18
2nd CFP: 49th TRS meeting at Ikaho
by Fujita Kenetsu 18 Jul '18

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

13 Jul '18

09 Jul '18
Talk by Florian Steinberg (July 5, Fukuoka)
by Akitoshi Kawamura 30 Jun '18

30 Jun '18

25 Jun '18

22 Jun '18

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

01 Jun '18
Call for Papers: JURISIN-2018
by 藤田 恵 01 Jun '18

01 Jun '18
AWPL 2018 (deadline extended)
by 小野 寛晰 29 May '18

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

28 May '18

21 May '18

17 May '18

17 May '18

15 May '18
Tutorial by William Byrd at Kyoto Univ.
by Atsushi Igarashi 09 May '18

09 May '18
Project colloquium talk by Paolo Arcaini on 9 May
by urabenatsuki@is.s.u-tokyo.ac.jp 05 May '18

05 May '18
国際会議AQIS18投稿のご案内
by NISHIMURA Harumichi 27 Apr '18

27 Apr '18
JAIST Logic Seminar Series
by Hajime Ishihara 21 Apr '18

21 Apr '18
Project colloquium talk by Ichiro Hasuo on 25 April
by urabenatsuki@is.s.u-tokyo.ac.jp 19 Apr '18

19 Apr '18
IWC 2018: Final CfP
by KIKUCHI Kentaro 13 Apr '18

13 Apr '18
(no subject)
by KUSAKARI Keiichirou 04 Apr '18

04 Apr '18
Talk by Dieter Spreen (April 4, Fukuoka)
by Akitoshi Kawamura 01 Apr '18

01 Apr '18

31 Mar '18
Results per page: