Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
Call for contributions: TEASE-LP 2020
by Hiroshi UNNO 05 Feb '20

05 Feb '20
2nd Call for submissions: MT-CPS 2020
by Kohei SUENAGA 03 Feb '20

03 Feb '20
RC 2020 deadline extension
by Kazutaka Matsuda 03 Feb '20

03 Feb '20
RC 2020 Second CFP
by Kazutaka Matsuda 17 Jan '20

17 Jan '20
IJCAR 2020: CFP
by Takahito Aoto 24 Dec '19

24 Dec '19
Call for submissions: MT-CPS 2020
by Kohei SUENAGA 17 Dec '19

17 Dec '19
FSCD 2020 - Second CFP
by Nao Hirokawa 13 Dec '19

13 Dec '19
Arnold Beckmann教授講演会
by 山形賴之 10 Dec '19

10 Dec '19
RC 2020 first CFP
by Kazutaka Matsuda 10 Dec '19

10 Dec '19

10 Dec '19
基礎論セミナー
by arai toshiyasu 02 Dec '19

02 Dec '19
AWPL2020 - Deadline extended
by 小野 寛晰 26 Nov '19

26 Nov '19
基礎論セミナー
by arai toshiyasu 20 Nov '19

20 Nov '19
2020年度奨励研究生の募集開始
by Teruyuki YORIOKA 07 Nov '19

07 Nov '19
第54回MLG数理論理学研究集会
by Naosuke MATSUDA 29 Oct '19

29 Oct '19
FLOPS 2020 Second Call for papers
by Keisuke Nakano 24 Oct '19

24 Oct '19
Nagoya logic seminar
by 吉信 康夫 22 Oct '19

22 Oct '19
Talk by Alex Kavvos (October 17th, 11.00-)
by Kazushige TERUI 15 Oct '19

15 Oct '19
数学基礎論若手の会2019のご案内
by Takayuki Kihara 14 Oct '19

14 Oct '19

09 Oct '19
Norbert Müller's Talk, Tue 15 Oct, Fukuoka
by Akitoshi Kawamura 08 Oct '19

08 Oct '19
FSCD 2020 - First CFP
by Nao Hirokawa 04 Oct '19

04 Oct '19
基礎論セミナー
by arai toshiyasu 02 Oct '19

02 Oct '19

30 Sep '19

26 Sep '19

18 Sep '19
FLOPS 2020 First Call for papers
by Keisuke Nakano 17 Sep '19

17 Sep '19

09 Sep '19
セミナー案内
by KASHIMA Ryo 06 Sep '19

06 Sep '19

02 Sep '19

31 Aug '19
Hans van Ditmarsch教授講演
by Satoshi Tojo 30 Aug '19

30 Aug '19
AWPL2020 - CALL FOR PAPERS
by 小野 寛晰 26 Aug '19

26 Aug '19

16 Aug '19

12 Aug '19
[参加募集] The Coq Workhsop 2019
by Jacques Garrigue 01 Aug '19

01 Aug '19

29 Jul '19
JAIST Logic Seminar Series
by Tatsuji Kawai 26 Jul '19

26 Jul '19

25 Jul '19
[1st CFP] SOCREAL 2019
by Katsuhiko Sano 18 Jul '19

18 Jul '19
Talk by Gabriele Vanoni (July 18th, 11.00-)
by Kazushige TERUI 14 Jul '19

14 Jul '19

08 Jul '19
[CFP] The Coq Workhsop 2019 (締切延長)
by Jacques Garrigue 05 Jun '19

05 Jun '19

03 Jun '19
Nagoya logic seminar
by 吉信 康夫 27 May '19

27 May '19
SLACS 2019 講演募集のお知らせ
by Kensuke Kojima 26 May '19

26 May '19
[CFP] The Coq Workhsop 2019
by Jacques Garrigue 22 May '19

22 May '19
国際会議AQIS2019のご案内
by NISHIMURA Harumichi 13 May '19

13 May '19

09 May '19

18 Apr '19

26 Mar '19

22 Mar '19

19 Mar '19
Nagoya logic seminar
by 吉信 康夫 14 Mar '19

14 Mar '19
[CFP] The Coq Workhsop 2019
by Jacques Garrigue 13 Mar '19

13 Mar '19
UNIF 2019: 2nd CFP
by Takahito Aoto 12 Mar '19

12 Mar '19
LCC 2019(7月8日・パトラ)発表募集
by Akitoshi Kawamura 10 Mar '19

10 Mar '19
Nagoya logic seminar
by 吉信 康夫 05 Mar '19

05 Mar '19
Re: [logic-ml] CSCAT 2019 開催案内
by Kensuke Kojima 04 Mar '19

04 Mar '19
seminar
by 吉信 康夫 03 Mar '19

03 Mar '19
CTFMのご案内
by 小俣 安彦 22 Feb '19

22 Feb '19
CADE-27: Second Call for Papers
by Nao Hirokawa 19 Feb '19

19 Feb '19
Results per page: