Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
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 24 Sep '21

24 Sep '21

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

17 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 08 Jul '21

08 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 白旗優 02 Mar '21

02 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 12 Jan '21

12 Jan '21

13 Dec '20

03 Dec '20

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

20 Nov '20

12 Nov '20

25 Oct '20
RIMS Model Theory Workshop 2020
by kota takeuchi 20 Oct '20

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

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

05 Oct '20

12 Sep '20

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

10 Sep '20

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

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

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

26 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 19 Feb '20

19 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: