Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
APLAS 2013 second call for papers
by Chung-chieh Shan 02 Jun '13

02 Jun '13
KEOD special session
by 小野 寛晰 31 May '13

31 May '13
Fwd: GALOP 2013 - 2nd Call for Papers
by Ichiro Hasuo 28 May '13

28 May '13

20 May '13

17 May '13
Nagoya Set Theory Seminar
by 吉信 康夫 16 May '13

16 May '13
NUE seminar (33)
by Yoshihito Toyama 16 May '13

16 May '13
教員公募 (東北大学)
by Yoshihito Toyama 14 May '13

14 May '13
DCM 2013 - Call for Papers
by Nao Hirokawa 10 May '13

10 May '13
APLAS 2013 call for papers
by Jacques Garrigue 23 Apr '13

23 Apr '13
Fwd: GALOP 2013 - Call for Papers
by Ichiro Hasuo 23 Apr '13

23 Apr '13
Set Theory Seminar Kobe
by Joerg Brendle 18 Apr '13

18 Apr '13
JAIST Logic Seminar Series
by Takayuki Kihara 15 Apr '13

15 Apr '13
Computability and Complexity in Analysis 2013
by Akitoshi Kawamura 12 Apr '13

12 Apr '13
CALCO Early Ideas
by Ichiro Hasuo 11 Apr '13

11 Apr '13

04 Apr '13

03 Apr '13
Computability in Europe 2013
by Akitoshi Kawamura 28 Mar '13

28 Mar '13
講演会/セミナーのお知らせ
by Makoto Kikuchi 23 Mar '13

23 Mar '13

23 Mar '13
講演会/セミナーのお知らせ
by Makoto Kikuchi 22 Mar '13

22 Mar '13

20 Mar '13

13 Mar '13
TACL2013
by 小野 寛晰 13 Mar '13

13 Mar '13

13 Mar '13
WoLLIC 2013 - CFP - DEADLINE APPROACHING
by 小野 寛晰 13 Mar '13

13 Mar '13
講演会/セミナーのお知らせ
by Makoto Kikuchi 11 Mar '13

11 Mar '13
3/12講演Alexandre Costa-Leite
by Yoichi Hirai 10 Mar '13

10 Mar '13

03 Mar '13

28 Feb '13
CALCO 2013: Deadline Extension
by Ichiro Hasuo 26 Feb '13

26 Feb '13

24 Feb '13
Workshop on constructivism
by Mariko Yasugi 23 Feb '13

23 Feb '13

22 Feb '13

21 Feb '13
CFP: Ninth Panhellenic Logic Symposium
by Nikolaos S. Papaspyrou 18 Feb '13

18 Feb '13

16 Feb '13
Kobe Colloquium (Feb. 18, 2013)
by fuchino@diamond.kobe-u.ac.jp 14 Feb '13

14 Feb '13
ICE 2013 Call for Papers
by Ichiro Hasuo 13 Feb '13

13 Feb '13
セミナーのお知らせ
by YOKOYAMA Keita 08 Feb '13

08 Feb '13
PPL2013 参加募集
by Shinya Katsumata 08 Feb '13

08 Feb '13
Seminar on Thu Feb 21
by Akitoshi Kawamura 08 Feb '13

08 Feb '13

08 Feb '13

08 Feb '13

08 Feb '13
仙台ロジックスクール
by Tanaka Kazuyuki 05 Feb '13

05 Feb '13
Kobe Colloquium (Feb 6, 2013, Pelupessy)
by Makoto Kikuchi 04 Feb '13

04 Feb '13
Eighth NII Type Theory Workshop
by Makoto Tatsuta 01 Feb '13

01 Feb '13

31 Jan '13
RTA 2013: Last Call for Papers
by Nao Hirokawa 23 Jan '13

23 Jan '13
セミナー案内
by KASHIMA Ryo 21 Jan '13

21 Jan '13

17 Jan '13

15 Jan '13
HAS 2013: Deadline Extended
by Ichiro Hasuo 06 Jan '13

06 Jan '13
CALCO 2013: Second Call for Papers
by Ichiro Hasuo 04 Jan '13

04 Jan '13

26 Dec '12
QIT28のご案内
by NISHIMURA Harumichi 26 Dec '12

26 Dec '12
SAT 2013 Call For Papers
by Naoyuki Tamura 25 Dec '12

25 Dec '12
[CFP] ATVA 2013 (Hanoi, 10/15-18, 2013)
by Ogawa Mizuhito 23 Dec '12

23 Dec '12
LICS 2013 Last Call for Papers
by Kazushige TERUI 20 Dec '12

20 Dec '12
First Announcement ― TACL 2013
by Hiroakira Ono 18 Dec '12

18 Dec '12

17 Dec '12

17 Dec '12

13 Dec '12
講演のお知らせ
by minami@kurt.cla.kobe-u.ac.jp 12 Dec '12

12 Dec '12
55th Tokyo Programming Seminar (Dec 18)
by Kazuyuki ASADA 05 Dec '12

05 Dec '12
RTA 2013: Second Call for Papers
by Nao Hirokawa 03 Dec '12

03 Dec '12
PPL2013論文募集
by Shinya Katsumata 30 Nov '12

30 Nov '12
Talk by Kazushige Terui (11:00-, 29 Nov)
by Shinya Katsumata 27 Nov '12

27 Nov '12

26 Nov '12
Results per page: