Logic-ml

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

14 May '15
Kobe set theory seminar on Tue 19 May.
by Daisuke Ikegami 14 May '15

14 May '15
WoLLIC 2015 - CALL FOR PARTICIPATION
by 小野 寛晰 14 May '15

14 May '15
CFP: LCC 2015 - extended deadline
by Nao Hirokawa 21 Apr '15

21 Apr '15

17 Apr '15
2nd CFP: LCC 2015
by Nao Hirokawa 14 Apr '15

14 Apr '15
Fwd:
by Ichiro Hasuo 11 Apr '15

11 Apr '15

06 Apr '15
Talk by Gergei Bana (26 Mar 11:00-)
by Shinya Katsumata 19 Mar '15

19 Mar '15

16 Mar '15
AIST Seminar on Software Reliability
by 山形賴之 10 Mar '15

10 Mar '15

10 Mar '15

08 Mar '15
LCC 2015 - Call for Papers
by Nao Hirokawa 08 Mar '15

08 Mar '15
講演会 (Nadia Polikarpova氏)
by Atsushi Igarashi 06 Mar '15

06 Mar '15

06 Mar '15
Workshop on secure quantum computing
by NISHIMURA Harumichi 02 Mar '15

02 Mar '15
CSL 2015 - call for papers
by Kazushige TERUI 01 Mar '15

01 Mar '15
JAIST Logic Seminar Series
by Hajime Ishihara 28 Feb '15

28 Feb '15
KusatsuSeminar3/16--20: just a reminder
by Fujita Kenetsu 24 Feb '15

24 Feb '15
千葉 logic seminar
by arai toshiyasu 23 Feb '15

23 Feb '15

20 Feb '15

20 Feb '15

10 Feb '15
Prof. Georg Moser at NII Logic Seminar
by Makoto Tatsuta 07 Feb '15

07 Feb '15
ICTAC 2015 First call for papers
by Kohei SUENAGA 04 Feb '15

04 Feb '15
JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15
ICALP 2015 CfP
by Shinya Katsumata 28 Jan '15

28 Jan '15
JSPS-NUS Joint Workshop in Logic
by Tanaka Kazuyuki 26 Jan '15

26 Jan '15

22 Jan '15

14 Jan '15
KusatsuSeminar3/16--20
by Fujita Kenetsu 13 Jan '15

13 Jan '15
Ninth NII Type Theory Workshop
by Makoto Tatsuta 12 Jan '15

12 Jan '15
JAIST Logic Seminar Series
by Hajime Ishihara 10 Jan '15

10 Jan '15
Logic, religion and science
by Kensaku GOMI 08 Jan '15

08 Jan '15
NLCS '15 Call for Papers
by Makoto Kanazawa 06 Jan '15

06 Jan '15
42nd TRS Meeting - Final CFPart
by Naohi Eguchi 22 Dec '14

22 Dec '14
WoLLIC 2015 - Second Call for Papers
by 小野 寛晰 11 Dec '14

11 Dec '14
QPL 2015: Call for papers
by Ichiro Hasuo 04 Dec '14

04 Dec '14
The 49th MLG Meeting: Program
by Katsuhiko Sano 02 Dec '14

02 Dec '14
千葉logic seminar
by arai toshiyasu 21 Nov '14

21 Nov '14

06 Nov '14

04 Nov '14
再送:数学基礎論若手の会2014
by YOSHIDA Satoru 04 Nov '14

04 Nov '14
WoLLIC 2015 - Call for Papers
by 小野 寛晰 03 Nov '14

03 Nov '14

28 Oct '14
LICS 2015 - First Call for Papers
by Ichiro Hasuo 22 Oct '14

22 Oct '14
ICALP 2015 (Kyoto, 6-10 Jul, 2015)
by Shinya Katsumata 22 Oct '14

22 Oct '14

17 Oct '14
PSSJ Symposium
by takeuti@kuis.kyoto-u.ac.jp 16 Oct '14

16 Oct '14

14 Oct '14

09 Oct '14
ACSI 2015: Deadline extended
by Kohei SUENAGA 26 Sep '14

26 Sep '14
HSCC 2014: Call for Papers
by Kohei SUENAGA 26 Sep '14

26 Sep '14
数学会からのお知らせ
by shioya@math.tsukuba.ac.jp 23 Sep '14

23 Sep '14
再送:数学基礎論若手の会
by YOSHIDA Satoru 22 Sep '14

22 Sep '14
QIT31口頭発表締切延長
by NISHIMURA Harumichi 22 Sep '14

22 Sep '14

22 Sep '14

17 Sep '14
$B?t3X4pACO@%5%^!<%9%/!<%k(B 2014
by fuchino@diamond.kobe-u.ac.jp 13 Sep '14

13 Sep '14
CFP: JURISIN2014 〆切延長
by Satoshi Tojo 09 Sep '14

09 Sep '14
CSセミナーin桐生
by Fujita Kenetsu 09 Sep '14

09 Sep '14
APLAS 2014: Call for Participation
by Jacques Garrigue 06 Sep '14

06 Sep '14

05 Sep '14

30 Aug '14

26 Aug '14
セミナー案内
by KASHIMA Ryo 25 Aug '14

25 Aug '14
HSCC 2014: Call for Papers
by Kohei SUENAGA 21 Aug '14

21 Aug '14

21 Aug '14
再送:数学基礎論若手の会
by Satoru YOSHIDA 19 Aug '14

19 Aug '14
APLAS 2014: Call for Posters and Demos
by Jacques Garrigue 16 Aug '14

16 Aug '14
ドメイン名の変更
by Atsushi Igarashi 13 Aug '14

13 Aug '14
千葉 logic seminar
by arai toshiyasu 11 Aug '14

11 Aug '14

03 Aug '14
Kusatsu seminar
by Toshihiko Kurata 29 Jul '14

29 Jul '14

24 Jul '14
AQIS2014のご案内
by NISHIMURA Harumichi 18 Jul '14

18 Jul '14
Fwd: logic position in Prague
by arai toshiyasu 16 Jul '14

16 Jul '14
PEPM 2015 call for papers
by Nao Hirokawa 16 Jul '14

16 Jul '14
WoLLIC 2014 - Call for Participation
by 小野 寛晰 10 Jul '14

10 Jul '14

03 Jul '14
Fwd: ALC 2015
by arai toshiyasu 01 Jul '14

01 Jul '14
セミナー案内
by KASHIMA Ryo 30 Jun '14

30 Jun '14
Nagoya Set Theory Seminar
by 吉信 康夫 26 Jun '14

26 Jun '14
CFP: HART'14
by Makoto Hamana 26 Jun '14

26 Jun '14

25 Jun '14
JAIST Logic Seminar Series
by Hajime Ishihara 23 Jun '14

23 Jun '14

23 Jun '14
CFP: JURISIN2014
by Satoshi Tojo 06 Jun '14

06 Jun '14
QPL 2014: Final Call for Papers
by Ichiro Hasuo 03 Jun '14

03 Jun '14
Kobe Colloquium (June 3, 2014, Hirao)
by Makoto Kikuchi 30 May '14

30 May '14
APLAS 2014: Extended deadline
by Jacques Garrigue 27 May '14

27 May '14
千葉 logic seminar
by arai toshiyasu 20 May '14

20 May '14
Kobe Colloquium (May 20, 2014, Sawa)
by Makoto Kikuchi 19 May '14

19 May '14
CCC 2014; second call for papers
by Hajime Ishihara 19 May '14

19 May '14
JAIST Logic Seminar Series
by Takako Nemoto 16 May '14

16 May '14
APLAS 2014: Last CFP
by Jacques Garrigue 07 May '14

07 May '14
QPL 2014: Call for Participation
by Ichiro Hasuo 04 May '14

04 May '14
千葉 logic seminar(会場変更)
by arai toshiyasu 01 May '14

01 May '14
モデル理論集中講義
by Suzuki Toshio 25 Apr '14

25 Apr '14
千葉 logic seminar
by arai toshiyasu 25 Apr '14

25 Apr '14

22 Apr '14
APLAS 2014: 2nd Call for papers
by Jacques Garrigue 13 Apr '14

13 Apr '14

05 Apr '14
NII Summer School on Coq in Japan (2nd Call)
by Jacques Garrigue 04 Apr '14

04 Apr '14

31 Mar '14

31 Mar '14

29 Mar '14

17 Mar '14

14 Mar '14

14 Mar '14
NII Summer School on Coq in Japan
by Jacques Garrigue 03 Mar '14

03 Mar '14

27 Feb '14
JAIST Logic Seminar Series
by Hajime Ishihara 27 Feb '14

27 Feb '14
Semantic Methods in Haskell Seminar
by Makoto Hamana 26 Feb '14

26 Feb '14
Fw: last CFP - DEON2014
by Ken Satoh 23 Feb '14

23 Feb '14
APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

17 Feb '14
EASLLC 2014
by 小野 寛晰 17 Feb '14

17 Feb '14
QPL 2014: Call for Papers
by Ichiro Hasuo 16 Feb '14

16 Feb '14

13 Feb '14

05 Feb '14
Talk by Shohei Izawa (13 Feb, 11:00-)
by Shinya Katsumata 05 Feb '14

05 Feb '14

31 Jan '14
Vienna Summer of Logic
by Norbert Preining 30 Jan '14

30 Jan '14

29 Jan '14
Sendai Logic School 2014 at Tokyo Tech
by Takeshi Yamazaki 28 Jan '14

28 Jan '14
TQC2014のご案内
by NISHIMURA Harumichi 23 Jan '14

23 Jan '14

23 Jan '14

19 Jan '14

16 Jan '14
Fwd: MFPS XXX
by Ichiro Hasuo 14 Jan '14

14 Jan '14
Call for Papers: 2nd AWPL (再送)
by 小野 寛晰 14 Jan '14

14 Jan '14
Results per page: