Logic-ml

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

23 Oct '11

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

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

16 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 10 Oct '11

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

09 Oct '11

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

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

06 Oct '11
MSFP 2012: Call for Papers
by Ichiro Hasuo 30 Sep '11

30 Sep '11
Workshop on linear logic
by Kazushige TERUI 26 Sep '11

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

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

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

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

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

19 Sep '11
Kobe Colloquium
by Makoto Kikuchi 16 Sep '11

16 Sep '11
Kobe Colloquium
by Makoto Kikuchi 12 Sep '11

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

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

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

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

06 Sep '11

05 Sep '11

01 Sep '11

28 Aug '11

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

21 Aug '11
Open Position at the RCIS/JAIST
by Norbert Preining 16 Aug '11

16 Aug '11

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

11 Aug '11
研究員の募集
by koba 02 Aug '11

02 Aug '11

01 Aug '11

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

26 Jul '11

26 Jul '11
セミナーのお知らせ
by Hiroakira Ono 24 Jul '11

24 Jul '11

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

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

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

10 Jul '11

06 Jul '11
CFP: AiML 2012
by Thomas Bolander 02 Jul '11

02 Jul '11
First CFP of AiML2012
by Hiroakira Ono 30 Jun '11

30 Jun '11
Masahiko Sato
by hotori-347@krc.biglobe.ne.jp 30 Jun '11

30 Jun '11
CFP: PEPM 2012
by Kohei SUENAGA 29 Jun '11

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

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

26 Jun '11

25 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" 11 Jun '11

11 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" 10 Jun '11

10 Jun '11

05 Jun '11
AQIS2011のご案内
by Harumichi Nishimura 02 Jun '11

02 Jun '11

31 May '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 22 May '11

22 May '11

19 May '11

15 May '11

08 May '11
BLAST 2011
by No-Reply 22 Apr '11

22 Apr '11

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

17 Apr '11

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

09 Apr '11

05 Apr '11

27 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 22 Mar '11

22 Mar '11
数学会中止
by KASHIMA Ryo 15 Mar '11

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

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

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

14 Mar '11

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

06 Mar '11
Fwd: NSA2011
by Tchizawa 01 Mar '11

01 Mar '11

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

22 Feb '11

21 Feb '11

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

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

14 Feb '11

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

09 Feb '11
[PPDP'11] Call for Papers
by Kazunori UEDA 07 Feb '11

07 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 26 Jan '11

26 Jan '11
お詫びと訂正
by BEKKI Daisuke 15 Jan '11

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

15 Jan '11

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

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

28 Dec '10
The 45th MLG Meeting: Program
by Takahiro Seki 25 Dec '10

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

23 Dec '10
[TACL 2011] First call for papers
by Hiroakira Ono 20 Dec '10

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

20 Dec '10

08 Dec '10

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

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

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

25 Nov '10

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

21 Nov '10
Talk by Kazushige Terui, next Thursday
by Ichiro Hasuo 19 Nov '10

19 Nov '10

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

14 Nov '10

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

04 Nov '10

31 Oct '10
SLACS 2010 開催のご案内
by Yoshihito Toyama 28 Oct '10

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

27 Oct '10

27 Oct '10
Set Theory Seminar in Kobe
by Joerg Brendle 18 Oct '10

18 Oct '10

18 Oct '10
Results per page: