Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions

23 Nov '12

22 Nov '12

21 Nov '12
QIT27のご案内
by NISHIMURA Harumichi 21 Nov '12

21 Nov '12

18 Nov '12
CALL FOR PARTICIPATION: JURISIN2012
by Makoto Nakamura 13 Nov '12

13 Nov '12
The 47th MLG Meeting: Program
by Takahiro Seki 12 Nov '12

12 Nov '12

06 Nov '12
APLAS and CPP 2012: Call for Participation
by Jacques Garrigue 05 Nov '12

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

04 Nov '12

01 Nov '12

29 Oct '12

24 Oct '12

16 Oct '12
RTA 2013: First Call for Papers
by Nao Hirokawa 15 Oct '12

15 Oct '12
Call for Participation: APLAS and CPP 2012
by Atsushi Igarashi 15 Oct '12

15 Oct '12
セミナー案内
by KASHIMA Ryo 13 Oct '12

13 Oct '12
国際会議TQC2013のご案内
by NISHIMURA Harumichi 12 Oct '12

12 Oct '12

11 Oct '12
CALCO 2013: First Call for Papers
by Ichiro Hasuo 08 Oct '12

08 Oct '12

06 Oct '12
The 47th MLG Meeting
by Takahiro Seki 03 Oct '12

03 Oct '12
PLPV 2013 Last Call For Papers
by Makoto Takeyama 03 Oct '12

03 Oct '12
LICS 2013 - Call for Papers
by Kazushige TERUI 02 Oct '12

02 Oct '12
TLCA 2013 Call for Papers
by Hasegawa Masahito 28 Sep '12

28 Sep '12
(no subject)
by keis.konno@gmail.com 28 Sep '12

28 Sep '12

27 Sep '12

19 Sep '12
Final CFP: JURISIN2012
by Makoto Nakamura 11 Sep '12

11 Sep '12

09 Sep '12

09 Sep '12

07 Sep '12

07 Sep '12
APLAS 2012: Call for Posters and Demos
by Kohei SUENAGA 07 Sep '12

07 Sep '12
SLACS 2012 Program (9/6 ver.)
by Hiroyuki Miyoshi 07 Sep '12

07 Sep '12

03 Sep '12
an opening of an Assistant professor position at Kobe University
by fuchino@diamond.kobe-u.ac.jp 31 Aug '12

31 Aug '12
2nd CFP: JURISIN2012
by Makoto Nakamura 31 Aug '12

31 Aug '12
TARK 2013: Extended Submission Deadline
by Suzuki, Nobu-Yuki 31 Aug '12

31 Aug '12

28 Aug '12

24 Aug '12

20 Aug '12
PD研究員公募
by =?ISO-2022-JP?B?GyRCOzM3QXtyRzcbKEI=?= 08 Aug '12

08 Aug '12
テストメイル from admin
by Atsushi Igarashi 05 Aug '12

05 Aug '12
PLPV 2013 First Call for Papers
by Makoto Takeyama 26 Jul '12

26 Jul '12

17 Jul '12
東北大学ロジックセミナーのご案内(7月20日)
by higurashi3873@yahoo.co.jp 14 Jul '12

14 Jul '12
The 47th MLG Meeting
by Takahiro Seki 09 Jul '12

09 Jul '12
教員公募(千葉大学)
by Takafumi SAKURAI 06 Jul '12

06 Jul '12

05 Jul '12
SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 05 Jul '12

05 Jul '12
SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 05 Jul '12

05 Jul '12
JURISIN2012
by Makoto Nakamura 03 Jul '12

03 Jul '12
SLACS 2012 のご案内および講演募集
by Hiroyuki Miyoshi 02 Jul '12

02 Jul '12
AiML-2012: Call for Participation
by Thomas Bolander 20 Jun '12

20 Jun '12
セミナー案内
by KASHIMA Ryo 18 Jun '12

18 Jun '12

18 Jun '12

11 Jun '12

05 Jun '12
Sendai Logic Workshop のご案内
by higurashi3873@yahoo.co.jp 26 May '12

26 May '12

22 May '12
RIMS研究集会(集合論関連)
by Yo Matsubara 22 May '12

22 May '12
EASLLC 2012
by Hiroakira Ono 17 May '12

17 May '12
Call for Participation: HOR'12, Nagoya
by Makoto Hamana 08 May '12

08 May '12
talk by Chung-chieh Shan (15 May 2012)
by Hasegawa Masahito 07 May '12

07 May '12

04 May '12
SLS2012 Deadline extension
by Thomas Bolander 02 May '12

02 May '12
FLOPS 2012 : Call For Participation
by Naoyuki Tamura 25 Apr '12

25 Apr '12

21 Apr '12

21 Apr '12

19 Apr '12
セミナー案内
by KASHIMA Ryo 17 Apr '12

17 Apr '12

16 Apr '12

10 Apr '12

04 Apr '12

04 Apr '12
CL&C 2012: deadline extension
by Koji Nakazawa 03 Apr '12

03 Apr '12
seminar announcement
by Hiroakira Ono 03 Apr '12

03 Apr '12
2nd CFP: 8th Scandinavian Logic Symposium
by Thomas Bolander 02 Apr '12

02 Apr '12
TARK 2013 Call for Papers
by Suzuki, Nobu-Yuki 02 Apr '12

02 Apr '12

27 Mar '12
RTA 2012: Call for Participation
by Nao Hirokawa 26 Mar '12

26 Mar '12
CFP: AiML 2012 (with deadline extension)
by Thomas Bolander 22 Mar '12

22 Mar '12

22 Mar '12

19 Mar '12

12 Mar '12
Tokyo Forum for Analytic Philosophy (TFAP)
by rdietz@l.u-tokyo.ac.jp 12 Mar '12

12 Mar '12

07 Mar '12
IWC 2012: Second Call for Papers
by Nao Hirokawa 07 Mar '12

07 Mar '12
CFP: HOR 2012
by Makoto Hamana 01 Mar '12

01 Mar '12
2012LLS
by Toshihiko Kurata 01 Mar '12

01 Mar '12
JAIST Advanced Lecture Series (6)
by Hiroakira Ono 28 Feb '12

28 Feb '12

22 Feb '12

20 Feb '12

16 Feb '12
CFP: 8th Scandinavian Logic Symposium
by Thomas Bolander 16 Feb '12

16 Feb '12
ICFEM 2012: Call for Papers
by Yuki Chiba 16 Feb '12

16 Feb '12
2012LLS
by Toshihiko Kurata 12 Feb '12

12 Feb '12
CFP: AiML 2012
by Thomas Bolander 12 Feb '12

12 Feb '12

10 Feb '12

09 Feb '12
Advances in Modal Logic IX
by Hiroakira Ono 08 Feb '12

08 Feb '12
lectures by Prof. Marta Kwiatkowska
by hagiya@is.s.u-tokyo.ac.jp 07 Feb '12

07 Feb '12
Asian Workshop on Philosophical Logic
by Hiroakira Ono 03 Feb '12

03 Feb '12
NII Type Theory Workshop
by Makoto Tatsuta 01 Feb '12

01 Feb '12

01 Feb '12
MSFP 2012 call for participation
by Ichiro Hasuo 31 Jan '12

31 Jan '12

29 Jan '12

28 Jan '12
Talk by Thomas Agotnes (1/23)
by Koji Hasebe 19 Jan '12

19 Jan '12

09 Jan '12

04 Jan '12
Nagoya set theory seminar
by 吉信 康夫 20 Dec '11

20 Dec '11

18 Dec '11

14 Dec '11
PPL2012論文募集
by Koji Nakazawa 07 Dec '11

07 Dec '11
Kobe Kolloquiun on Logic, Statistics and Informatics
by fuchino@isc.chubu.ac.jp 04 Dec '11

04 Dec '11
LATD2012
by Hiroakira Ono 01 Dec '11

01 Dec '11
セミナー案内
by KASHIMA Ryo 24 Nov '11

24 Nov '11
Call for Participation: PEPM 2012
by Kohei SUENAGA 24 Nov '11

24 Nov '11
NII Type Theory Workshop
by Makoto Tatsuta 06 Nov '11

06 Nov '11

04 Nov '11
WST 2012: First Call For Papers
by Nao Hirokawa 04 Nov '11

04 Nov '11

01 Nov '11

24 Oct '11
Results per page: