Logic-ml

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

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

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

13 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 10 Apr '15

10 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

09 Mar '15

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

07 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 28 Feb '15

28 Feb '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

19 Feb '15

19 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 27 Jan '15

27 Jan '15
JSPS-NUS Joint Workshop in Logic
by Tanaka Kazuyuki 25 Jan '15

25 Jan '15

21 Jan '15

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

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

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

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

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

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

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

01 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

27 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

13 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 22 Sep '14

22 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 12 Sep '14

12 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

29 Aug '14

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

25 Aug '14
Results per page: