Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
数学会秋季賞の推薦募集
by Hiroshi SAKAI 24 Mar '23

24 Mar '23

24 Mar '23
The 17th ALC (中国、天津)
by Hirotaka Kikyo 15 Mar '23

15 Mar '23
第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23
2 68
0 0

02 Mar '23
CADE-29 Call for Papers
by Nao Hirokawa 24 Feb '23

24 Feb '23
CSCAT 2023 発表・参加募集
by Koko Akazaki Muroya 22 Feb '23

22 Feb '23
特定研究員募集(京都大学)
by Kohei SUENAGA 10 Feb '23

10 Feb '23
29th WoLLIC 2023 - 2nd Call for Papers
by Kazushige TERUI 03 Feb '23

03 Feb '23
FSCD 2023: First Call for Papers
by Nao Hirokawa 01 Feb '23

01 Feb '23

20 Jan '23
CSCAT 2023 開催案内
by Koko Akazaki Muroya 13 Jan '23

13 Jan '23

12 Jan '23
米子での研究集会
by 堀畑 佳宏_米子教職員 31 Dec '22

31 Dec '22

26 Dec '22

04 Dec '22

02 Dec '22
PPL 2023 CFP (論文投稿受付開始)
by Tsuneyasu KOMIYA 25 Nov '22

25 Nov '22
PhD Position in Theory
by Nao Hirokawa 23 Nov '22

23 Nov '22
山陰での研究集会のご案内
by 堀畑 佳宏_米子教職員 16 Nov '22

16 Nov '22
MLが10日あまり止まっていました
by Atsushi Igarashi 21 Oct '22

21 Oct '22
証明論シンポジウム2022
by Hirotaka Kikyo 20 Oct '22

20 Oct '22
QIT47のご案内
by NISHIMURA Harumichi 18 Oct '22

18 Oct '22

17 Oct '22

16 Sep '22
数学基礎論若手の会 2022
by Diego A. Mejía 06 Sep '22

06 Sep '22

23 Aug '22

20 Jul '22

19 Jul '22
教員公募のお知らせ
by Satoru Kuroda 14 Jul '22

14 Jul '22

10 Jul '22

09 Jul '22

08 Jul '22
教員公募のお知らせ
by Makoto Kanazawa 04 Jul '22

04 Jul '22
前原昭二先生について
by Kazushige TERUI 26 Jun '22

26 Jun '22

17 May '22

05 May '22

30 Mar '22
DaLí 2022 - Call for Papers
by Katsuhiko Sano 29 Mar '22

29 Mar '22
QIT46のご案内
by NISHIMURA Harumichi 27 Mar '22

27 Mar '22
TACL 2022 deadline extension
by 小野 寛晰 04 Mar '22

04 Mar '22
【CSCAT 2022】発表募集
by Kazuyuki ASADA 23 Feb '22

23 Feb '22
POPL 2022 Virtual Workshop
by Youyou Cong 26 Jan '22

26 Jan '22
CSCAT2022のご案内
by Kazuyuki ASADA 26 Jan '22

26 Jan '22

19 Jan '22
研究員募集(京大・NII)
by Taro Sekiyama 17 Jan '22

17 Jan '22
SOCREAL 2022: The First Call for Papers
by Katsuhiko Sano 09 Jan '22

09 Jan '22

06 Jan '22
PEPM 2022 - Call for Participation
by Youyou Cong 04 Jan '22

04 Jan '22
New journal: TheoretiCS
by Naoki Kobayashi 10 Dec '21

10 Dec '21
28th WoLLIC 2022 - First Call for Papers
by 小野 寛晰 03 Dec '21

03 Dec '21
WRLA 2022: Call for Papers
by Nao Hirokawa 29 Nov '21

29 Nov '21
締切延長: FLOPS 2022
by Atsushi Igarashi 18 Nov '21

18 Nov '21

10 Nov '21
QIT45(ポスター講演募集11/12締切)
by NISHIMURA Harumichi 26 Oct '21

26 Oct '21
TPP 2021: Nov. 21-22 in Kitami
by Takafumi Saikawa 22 Oct '21

22 Oct '21
TACL 2022: First announcement
by 小野 寛晰 21 Oct '21

21 Oct '21
Fwd: Anand's 70th
by kota takeuchi 20 Oct '21

20 Oct '21

05 Oct '21
特任研究員等の公募
by Naoki Kobayashi 01 Oct '21

01 Oct '21
QIT45のご案内
by NISHIMURA Harumichi 25 Sep '21

25 Sep '21

13 Sep '21
PEPM 2022 - First Call for Papers
by Youyou Cong 18 Aug '21

18 Aug '21

12 Aug '21
preliminary CfP: FLOPS 2022, Kyoto
by Atsushi Igarashi 07 Aug '21

07 Aug '21

22 Jul '21

21 Jul '21
特任研究員の公募
by Naoki Kobayashi 20 Jul '21

20 Jul '21
Fwd: Postdoc and PhD positions in UGent
by arai toshiyasu 09 Jul '21

09 Jul '21
AQIS'21 CFP
by NISHIMURA Harumichi 11 Jun '21

11 Jun '21
教員公募のお知らせ
by Makoto Kanazawa 01 Jun '21

01 Jun '21
Call for papers: APLAS 2021
by Kohei SUENAGA 13 May '21

13 May '21
准教授公募(東京大学)
by arai toshiyasu 28 Apr '21

28 Apr '21

23 Mar '21
CFP: LSFA 2021
by Takahito Aoto 16 Mar '21

16 Mar '21
数学教員公募のお知らせ
by 白旗優 03 Mar '21

03 Mar '21
27th WoLLIC 2021 - Call for Papers
by 小野 寛晰 02 Mar '21

02 Mar '21
2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21
FSCD 2021: Call for Papers
by Naoki Kobayashi 11 Feb '21

11 Feb '21
CADE-28: Final Call for Papers
by Nao Hirokawa 09 Feb '21

09 Feb '21
Louis de Broglie
by logic 04 Feb '21

04 Feb '21
Fwd: RAMiCS 2021 - CFP
by Diego A. Mejía 13 Jan '21

13 Jan '21

14 Dec '20

03 Dec '20

21 Nov '20
Prikry Forcing Online: one-day workshop
by Diego A. Mejía 21 Nov '20

21 Nov '20

13 Nov '20

26 Oct '20
RIMS Model Theory Workshop 2020
by kota takeuchi 21 Oct '20

21 Oct '20
特任研究員の公募
by Naoki Kobayashi 16 Oct '20

16 Oct '20
助教公募
by arai toshiyasu 06 Oct '20

06 Oct '20

13 Sep '20

11 Sep '20
modal homotopy type theory
by logic 11 Sep '20

11 Sep '20

01 Sep '20
FLOPS 2020: Call for Participation
by Keisuke Nakano 01 Sep '20

01 Sep '20
Fwd: CCC 2020; call for participation
by Matthew de Brecht 26 Aug '20

26 Aug '20
量子ソフトウェア研究会
by NISHIMURA Harumichi 27 Jul '20

27 Jul '20

02 Jun '20

13 Mar '20

27 Feb '20
Nagoya Logic Seminar
by 吉信 康夫 21 Feb '20

21 Feb '20
Bx 2020 - FIRST CALL FOR PAPERS
by Kazutaka Matsuda 20 Feb '20

20 Feb '20
Deadline extended to Feb 23: MT-CPS 2020
by Kohei SUENAGA 16 Feb '20

16 Feb '20
TPLCV-2020 - Call for Papers
by 小野 寛晰 14 Feb '20

14 Feb '20
Nagoya logic seminar
by 吉信 康夫 13 Feb '20

13 Feb '20

08 Feb '20
Results per page: