Logic-ml

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

24 Oct '11

21 Oct '11
The 46th MLG Meeting: Program
by Takahiro Seki 17 Oct '11

17 Oct '11
PPL2012 論文募集
by Koji Nakazawa 17 Oct '11

17 Oct '11
RTA 2012: First Call For Papers
by Nao Hirokawa 11 Oct '11

11 Oct '11
PEPM'12 - DEADLINE EXTENSION
by Kohei SUENAGA 11 Oct '11

11 Oct '11
Kobe Colloquium on Logic, Statistics and Informatics Oct.18
by fuchino@diamond.kobe-u.ac.jp 11 Oct '11

11 Oct '11
公理的集合論集中講義
by Suzuki Toshio 09 Oct '11

09 Oct '11

07 Oct '11
講演会のお知らせ (10/19)
by Yoshihiko Kakutani 07 Oct '11

07 Oct '11
[CFP] IJCAR 2012
by Takahito Aoto 07 Oct '11

07 Oct '11
MSFP 2012: Call for Papers
by Ichiro Hasuo 01 Oct '11

01 Oct '11
Workshop on linear logic
by Kazushige TERUI 27 Sep '11

27 Sep '11
Sendai Logic Seminar (Sep. 26)
by Naohi Eguchi 22 Sep '11

22 Sep '11
Kobe Colloquium
by Makoto Kikuchi 21 Sep '11

21 Sep '11
Sendai Logic Seminar (Sep. 26)
by Naohi Eguchi 21 Sep '11

21 Sep '11
秋季総合分科会
by KASHIMA Ryo 21 Sep '11

21 Sep '11
Kobe Colloquium
by Makoto Kikuchi 20 Sep '11

20 Sep '11
Kobe Colloquium
by Makoto Kikuchi 17 Sep '11

17 Sep '11
Kobe Colloquium
by Makoto Kikuchi 13 Sep '11

13 Sep '11
The 46th MLG Meeting
by Takahiro Seki 12 Sep '11

12 Sep '11
SLACS 2011 直前のご案内
by Kamo Hiroyasu 11 Sep '11

11 Sep '11
Fwd: Fwd: NSA2011
by Tchizawa 10 Sep '11

10 Sep '11
TQC2012のご案内
by Harumichi Nishimura 06 Sep '11

06 Sep '11

06 Sep '11

02 Sep '11

29 Aug '11

25 Aug '11
Final Call for Participation: MOL 12
by Makoto Kanazawa 22 Aug '11

22 Aug '11
Open Position at the RCIS/JAIST
by Norbert Preining 17 Aug '11

17 Aug '11

16 Aug '11
PEPM 2012: Second Call for Papers
by Kohei SUENAGA 12 Aug '11

12 Aug '11
研究員の募集
by koba 03 Aug '11

03 Aug '11

02 Aug '11

28 Jul '11
セミナーのお知らせ
by SAKAI Hiroshi 27 Jul '11

27 Jul '11

27 Jul '11
セミナーのお知らせ
by Hiroakira Ono 25 Jul '11

25 Jul '11

15 Jul '11
The 52nd ToPS [Aug 3]
by Kazuyuki ASADA 14 Jul '11

14 Jul '11
東北大学ロジックセミナー(7/22)
by higurashi3873@yahoo.co.jp 13 Jul '11

13 Jul '11
証明論研究集会のご案内
by Suzuki Toshio 11 Jul '11

11 Jul '11

07 Jul '11
CFP: AiML 2012
by Thomas Bolander 03 Jul '11

03 Jul '11
First CFP of AiML2012
by Hiroakira Ono 01 Jul '11

01 Jul '11
Masahiko Sato
by hotori-347@krc.biglobe.ne.jp 01 Jul '11

01 Jul '11
CFP: PEPM 2012
by Kohei SUENAGA 30 Jun '11

30 Jun '11
please send me my name
by masahiko@sato.kuis.kyoto-u.ac.jp 28 Jun '11

28 Jun '11
2011LLS
by Toshihiko Kurata 27 Jun '11

27 Jun '11

26 Jun '11
TACL 2011 : Call for participation
by Luigi Santocanale 20 Jun '11

20 Jun '11
FSFLA 2011: 1st announcement
by "Carlos Martín Vide" 12 Jun '11

12 Jun '11
The 51th ToPS [June 21]
by Kazuyuki ASADA 11 Jun '11

11 Jun '11
SSLST 2011: 1st announcement
by "Carlos Martín Vide" 11 Jun '11

11 Jun '11

06 Jun '11
AQIS2011のご案内
by Harumichi Nishimura 03 Jun '11

03 Jun '11

01 Jun '11
東北大学ロジックセミナー(6/3)
by higurashi3873@yahoo.co.jp 27 May '11

27 May '11
$BCLOC2q$N$40FFb(B [Prof. Yde Venema, 5/25]
by Hasegawa Masahito 23 May '11

23 May '11

20 May '11

16 May '11

09 May '11
BLAST 2011
by No-Reply 23 Apr '11

23 Apr '11

18 Apr '11
The 50th ToPS [Apr. 27]
by Kazuyuki ASADA 18 Apr '11

18 Apr '11

17 Apr '11
PhD Program: Call for applications
by Bertram Fronhöfer 09 Apr '11

09 Apr '11

05 Apr '11

28 Mar '11
Kobe Colloquium (talk by Toshiyasu Arai)
by Makoto Kikuchi 26 Mar '11

26 Mar '11
MOL 12 - VENUE CHANGE
by Makoto Kanazawa 25 Mar '11

25 Mar '11
PLS8: SUBMISSION DEADLINE EXTENDED
by Christos Nomikos 24 Mar '11

24 Mar '11
MOL 12 Tokyo - Deadline extended
by Makoto Kanazawa 23 Mar '11

23 Mar '11
数学会中止
by KASHIMA Ryo 16 Mar '11

16 Mar '11
ICFP 2011 の締め切りについて
by Kenichi Asai 15 Mar '11

15 Mar '11
Kobe Colloquium (talk by Toshiyasu Arai)
by Makoto Kikuchi 15 Mar '11

15 Mar '11
Asian Workshop on Philosophical Logic
by Hiroakira Ono 15 Mar '11

15 Mar '11

13 Mar '11
MOL 12 Tokyo - Submission Open
by Makoto Kanazawa 07 Mar '11

07 Mar '11
Fwd: NSA2011
by Tchizawa 02 Mar '11

02 Mar '11

28 Feb '11
CFP: Two Workshops on Continuations
by Yukiyoshi Kameyama 22 Feb '11

22 Feb '11

22 Feb '11

18 Feb '11
[TACL 2011] Second call for papers
by tacl2011@lif.univ-mrs.fr 18 Feb '11

18 Feb '11
Fw: PLS8 - SECOND CALL FOR PAPERS
by Suzuki, Nobu-Yuki 15 Feb '11

15 Feb '11

10 Feb '11
BLAST 2011
by No-Reply 10 Feb '11

10 Feb '11
[PPDP'11] Call for Papers
by Kazunori UEDA 08 Feb '11

08 Feb '11
CALCO 2011: Last Call for Papers
by Ichiro Hasuo 02 Feb '11

02 Feb '11
Second Call for Papers: MOL 12 Tokyo
by Makoto Kanazawa 31 Jan '11

31 Jan '11
$B=u65$N8xJg$N$*CN$i$;(B
by Hasegawa Masahito 27 Jan '11

27 Jan '11
お詫びと訂正
by BEKKI Daisuke 16 Jan '11

16 Jan '11
形式意味論研究会のご案内
by BEKKI Daisuke 16 Jan '11

16 Jan '11

14 Jan '11
東北大学ロジックセミナー
by YOKOYAMA Keita 13 Jan '11

13 Jan '11
Kobe Colloquium (talk by Sam Sanders)
by Makoto Kikuchi 29 Dec '10

29 Dec '10
The 45th MLG Meeting: Program
by Takahiro Seki 26 Dec '10

26 Dec '10
[TACL 2011] First call for papers
by tacl2011@lif.univ-mrs.fr 24 Dec '10

24 Dec '10
[TACL 2011] First call for papers
by Hiroakira Ono 21 Dec '10

21 Dec '10
New book
by Torben Brauner 21 Dec '10

21 Dec '10

09 Dec '10

09 Dec '10
The 45th MLG Meeting: Deadline Extension
by Takahiro Seki 08 Dec '10

08 Dec '10
Talk by Prof. Sy-David Friedman on Nov.29
by fuchino@fuchino.ddo.jp 26 Nov '10

26 Nov '10
Talk by Prof. Sy-David Friedman on Nov.29
by fuchino@diamond.kobe-u.ac.jp 26 Nov '10

26 Nov '10

25 Nov '10
Fwd: Leo Esakia
by Hiroakira Ono 22 Nov '10

22 Nov '10
Talk by Kazushige Terui, next Thursday
by Ichiro Hasuo 20 Nov '10

20 Nov '10

15 Nov '10
The 45th MLG Meeting
by Takahiro Seki 15 Nov '10

15 Nov '10

13 Nov '10
Workshop (Mon 2010.11.08) in Kyoto
by Ichiro Hasuo 04 Nov '10

04 Nov '10

01 Nov '10
SLACS 2010 開催のご案内
by Yoshihito Toyama 29 Oct '10

29 Oct '10
Kobe Colloquium in Logic (Lajos Soukup)
by Joerg Brendle 28 Oct '10

28 Oct '10

28 Oct '10
Set Theory Seminar in Kobe
by Joerg Brendle 19 Oct '10

19 Oct '10

19 Oct '10
Results per page: