Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
PEPM 2017: Deadline extension
by Ryosuke SATO 05 Sep '16

05 Sep '16
CfP: FTSCS 2016 deadline extension
by Takashi Kitamura 01 Sep '16

01 Sep '16

24 Aug '16
JAIST Logic Seminar Series
by Hajime Ishihara 22 Aug '16

22 Aug '16
SLACS2016のご案内
by sasaki 22 Aug '16

22 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16
PEPM 2017: Second Call for Papers
by Ryosuke SATO 17 Aug '16

17 Aug '16

13 Aug '16
Workshop 参加者募集のお知らせ
by Hideki Tsuiki 10 Aug '16

10 Aug '16
[2nd CfP] FTSCS 2016 @ November 14-15, Tokyo
by Takashi Kitamura 10 Aug '16

10 Aug '16
数学基礎論とその応用
by Makoto Kikuchi 05 Aug '16

05 Aug '16
SLACS2016のご案内
by sasaki 05 Aug '16

05 Aug '16

03 Aug '16
Kobe Colloquium: Aug 8, 2016, Jun Otsuka
by Makoto Kikuchi 02 Aug '16

02 Aug '16
Call for Participation: ICFP 2016
by Jacques Garrigue 26 Jul '16

26 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

20 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16
Talk by Liang-ting Chen, 19 Tue Jul
by Takumi Akazaki 16 Jul '16

16 Jul '16
Nagoya Set Theory Seminar
by 吉信 康夫 11 Jul '16

11 Jul '16
[TACL 2017] First announcement
by 小野 寛晰 04 Jul '16

04 Jul '16

01 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 28 Jun '16

28 Jun '16
CFP: PEPM 2017
by Ryosuke SATO 27 Jun '16

27 Jun '16
IWC 2016 - 2nd Call for Papers
by Nao Hirokawa 14 Jun '16

14 Jun '16
JAIST Logic Seminar Series
by Hajime Ishihara 08 Jun '16

08 Jun '16
Talk by Sato Tetsuya, 14 Tue Jun
by Takumi Akazaki 08 Jun '16

08 Jun '16

02 Jun '16

27 May '16
CFP: ESSS 2016
by Yoriyuki Yamagata 18 May '16

18 May '16
IWC 2016 - Call for Papers
by Nao Hirokawa 14 May '16

14 May '16
AiML-2016: CALL FOR SHORT PRESENTATIONS
by 小野 寛晰 09 May '16

09 May '16

09 May '16
4th AJSW = 45th TRS Meeting
by Nao Hirokawa 03 May '16

03 May '16

28 Apr '16
Talk by Cho Kenta (Nijmegen), Tue 10 May
by Takumi Akazaki 27 Apr '16

27 Apr '16

22 Apr '16
数学基礎論とその応用
by Makoto Kikuchi 14 Apr '16

14 Apr '16

13 Apr '16
SLACS2016のご案内
by Koji Nakazawa 12 Apr '16

12 Apr '16
homotopy type theory
by logic@math.tsukuba.ac.jp 09 Apr '16

09 Apr '16
Talk by Nayuta Yanagisawa, Wed 30 Mar
by Toshiki Kataoka 24 Mar '16

24 Mar '16
homotopy type theory
by logic@math.tsukuba.ac.jp 23 Mar '16

23 Mar '16
Prof. Dieter Spreen at NII Logic Seminar
by Makoto Tatsuta 16 Mar '16

16 Mar '16

14 Mar '16
初めて筑波大学へ来られる方へ
by logic@math.tsukuba.ac.jp 14 Mar '16

14 Mar '16
CFP: ATVA'16 (@Oct 17-19th, Chiba)
by takashi kitamura 03 Mar '16

03 Mar '16

01 Mar '16
池上氏と横山氏の講演会(仙台)
by Tanaka Kazuyuki 01 Mar '16

01 Mar '16
国際会議TQC2016のご案内
by Yasuhiro Takahashi 29 Feb '16

29 Feb '16

26 Feb '16

26 Feb '16
CFP: PPDP 2016
by Kazutaka Matsuda 25 Feb '16

25 Feb '16
CFP: ITRS 2016
by koba 23 Feb '16

23 Feb '16
TYPES 2016 extended deadline
by Fujita Kenetsu 23 Feb '16

23 Feb '16
CSセミナーin桐生
by Fujita Kenetsu 16 Feb '16

16 Feb '16
SYSMICS 2016 call for abstracts
by 小野 寛晰 09 Feb '16

09 Feb '16
AiML-2016: 2ND CALL FOR PAPERS
by 小野 寛晰 09 Feb '16

09 Feb '16
TYPES 2016
by Fujita Kenetsu 09 Feb '16

09 Feb '16

08 Feb '16
Kusatsu Seminar 2016
by Toshihiko Kurata 02 Feb '16

02 Feb '16
Tenth NII Type Theory Workshop
by Makoto Tatsuta 30 Jan '16

30 Jan '16
Deadline Extension: FSCD'16
by hassei@kurims.kyoto-u.ac.jp 29 Jan '16

29 Jan '16
Linearity 2016 - CFP
by hassei@kurims.kyoto-u.ac.jp 27 Jan '16

27 Jan '16
市民講演会poster
by logic@math.tsukuba.ac.jp 23 Jan '16

23 Jan '16
FSCD'16 Final Call for Papers
by hassei@kurims.kyoto-u.ac.jp 22 Jan '16

22 Jan '16
CFP: PPL 2016 カテゴリ2-4
by Takahito Aoto 18 Jan '16

18 Jan '16
AiML-2016: 1ST CALL FOR PAPERS
by 小野 寛晰 11 Jan '16

11 Jan '16
SLS 2016:Vaught予想他
by Tanaka Kazuyuki 10 Jan '16

10 Jan '16
Results per page: