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 04 Feb '20

04 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 08 Nov '19

08 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

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

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

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

03 Oct '19

01 Oct '19

26 Sep '19

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

18 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 小野 寛晰 27 Aug '19

27 Aug '19

17 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 吉信 康夫 28 May '19

28 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

27 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 13 Mar '19

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

11 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

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

15 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 小野 寛晰 23 Dec '18

23 Dec '18
セミナー案内
by KASHIMA Ryo 13 Dec '18

13 Dec '18
JAIST Logic Workshopのご案内
by Hitoshi Omori 09 Dec '18

09 Dec '18

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

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

10 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

18 Sep '18

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

03 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 19 Jul '18

19 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 01 Jul '18

01 Jul '18

25 Jun '18

22 Jun '18

19 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

16 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 14 Apr '18

14 Apr '18
(no subject)
by KUSAKARI Keiichirou 05 Apr '18

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

01 Apr '18

01 Apr '18
Results per page: