Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
春の数学会
by KASHIMA Ryo 25 Dec '13

25 Dec '13

24 Dec '13

24 Dec '13

24 Dec '13
Call for papers: LATD2014
by 小野 寛晰 18 Dec '13

18 Dec '13
WoLLIC 2014 - 2nd Call for Papers
by 小野 寛晰 17 Dec '13

17 Dec '13
CFP for MSFP 2014
by Makoto Hamana 16 Dec '13

16 Dec '13
Call for Papers: 2nd AWPL
by 小野 寛晰 10 Dec '13

10 Dec '13
Nagoya Logic Seminar
by 吉信 康夫 06 Dec '13

06 Dec '13

05 Dec '13
The 48th MLG Meeting: Program
by Katsuhiko Sano 04 Dec '13

04 Dec '13
CFP: ESSS 2014
by 山形賴之 03 Dec '13

03 Dec '13
講演会のお知らせ
by KASHIMA Ryo 26 Nov '13

26 Nov '13
AiML-2014: call for papers
by 小野 寛晰 21 Nov '13

21 Nov '13
Kowalski先生講演
by Satoshi Tojo 13 Nov '13

13 Nov '13
講演会のお知らせ
by KASHIMA Ryo 06 Nov '13

06 Nov '13
JAIST Logic Seminar Series
by Hajime Ishihara 01 Nov '13

01 Nov '13
JAIST Logic Seminar Series
by Hajime Ishihara 26 Oct '13

26 Oct '13
NUE seminar (34)
by Yoshihito Toyama 23 Oct '13

23 Oct '13

22 Oct '13
JAIST Logic Seminar Series
by Takako Nemoto 22 Oct '13

22 Oct '13
Talk by Masahiko Sato, 14 Nov. Thu 11:00-
by Shinya Katsumata 18 Oct '13

18 Oct '13
WoLLIC 2014 - 1st Call for Papers
by 小野 寛晰 13 Oct '13

13 Oct '13

12 Oct '13

10 Oct '13
AiML 2014: 1st Call for Papers
by 小野 寛晰 08 Oct '13

08 Oct '13

07 Oct '13

04 Oct '13
Dr. Andreas Abel at NII Logic Seminar
by Makoto Tatsuta 04 Oct '13

04 Oct '13
配送回復のおしらせ
by Atsushi Igarashi 02 Oct '13

02 Oct '13

02 Oct '13
セミナー案内
by KASHIMA Ryo 30 Sep '13

30 Sep '13
超準解析シンポジウム(第3報)
by Hiroshi Akiyama 10 Sep '13

10 Sep '13

03 Sep '13
Book Series: Logic in Asia について
by 小野 寛晰 30 Aug '13

30 Aug '13
超準解析シンポジウム(第2報)
by Hiroshi Akiyama 28 Aug '13

28 Aug '13
JAIST Logic Seminar Series
by Takako Nemoto 26 Aug '13

26 Aug '13
Workshop on Relevant Logics
by KASHIMA Ryo 24 Aug '13

24 Aug '13
2013LLS
by Toshihiko Kurata 06 Aug '13

06 Aug '13
教員公募
by S.Yamane 01 Aug '13

01 Aug '13
JAIST Logic Seminar Series
by Hajime Ishihara 16 Jul '13

16 Jul '13

12 Jul '13

07 Jul '13
$B=8Cf9V5A$N$*CN$i$;(B
by Hasegawa Masahito 04 Jul '13

04 Jul '13
超準解析シンポジウム(第1報)
by Hiroshi Akiyama 04 Jul '13

04 Jul '13
Nagoya Logic Seminar
by 吉信 康夫 02 Jul '13

02 Jul '13
RIMS set theory workshop 2013
by fuchino@diamond.kobe-u.ac.jp 01 Jul '13

01 Jul '13
Logic Seminar at Kobe
by Makoto Kikuchi 28 Jun '13

28 Jun '13

16 Jun '13

09 Jun '13
APLAS 2013 second call for papers
by Jacques Garrigue 05 Jun '13

05 Jun '13
APLAS 2013 second call for papers
by Chung-chieh Shan 03 Jun '13

03 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

21 May '13

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

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

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

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

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

24 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

05 Apr '13

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

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

24 Mar '13

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

23 Mar '13

21 Mar '13

14 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

04 Mar '13

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

26 Feb '13

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

24 Feb '13

23 Feb '13

22 Feb '13
CFP: Ninth Panhellenic Logic Symposium
by Nikolaos S. Papaspyrou 19 Feb '13

19 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 09 Feb '13

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

09 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 06 Feb '13

06 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

18 Jan '13

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

07 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

18 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 04 Dec '12

04 Dec '12
PPL2013論文募集
by Shinya Katsumata 01 Dec '12

01 Dec '12
Talk by Kazushige Terui (11:00-, 29 Nov)
by Shinya Katsumata 28 Nov '12

28 Nov '12

26 Nov '12
Results per page: