Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
RIMS研究集会(集合論関連)
by Yo Matsubara 21 May '12

21 May '12
EASLLC 2012
by Hiroakira Ono 16 May '12

16 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

03 May '12
SLS2012 Deadline extension
by Thomas Bolander 01 May '12

01 May '12
FLOPS 2012 : Call For Participation
by Naoyuki Tamura 24 Apr '12

24 Apr '12

21 Apr '12

20 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 02 Apr '12

02 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 01 Apr '12

01 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 11 Mar '12

11 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 29 Feb '12

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

28 Feb '12

21 Feb '12

19 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 11 Feb '12

11 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 31 Jan '12

31 Jan '12

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

31 Jan '12

29 Jan '12

27 Jan '12
Talk by Thomas Agotnes (1/23)
by Koji Hasebe 18 Jan '12

18 Jan '12

09 Jan '12

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

21 Dec '11

19 Dec '11

15 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 05 Dec '11

05 Dec '11
LATD2012
by Hiroakira Ono 02 Dec '11

02 Dec '11
セミナー案内
by KASHIMA Ryo 25 Nov '11

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

25 Nov '11
NII Type Theory Workshop
by Makoto Tatsuta 07 Nov '11

07 Nov '11

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

04 Nov '11

01 Nov '11

25 Oct '11
Results per page: