Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
PEPM 2017: Deadline extension
by Ryosuke SATO 05 Sep '16

05 Sep '16
CfP: FTSCS 2016 deadline extension
by Takashi Kitamura 01 Sep '16

01 Sep '16

24 Aug '16
JAIST Logic Seminar Series
by Hajime Ishihara 22 Aug '16

22 Aug '16
SLACS2016のご案内
by sasaki 22 Aug '16

22 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 20 Aug '16

20 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16
PEPM 2017: Second Call for Papers
by Ryosuke SATO 17 Aug '16

17 Aug '16

13 Aug '16
Workshop 参加者募集のお知らせ
by Hideki Tsuiki 10 Aug '16

10 Aug '16
[2nd CfP] FTSCS 2016 @ November 14-15, Tokyo
by Takashi Kitamura 10 Aug '16

10 Aug '16
数学基礎論とその応用
by Makoto Kikuchi 06 Aug '16

06 Aug '16
SLACS2016のご案内
by sasaki 05 Aug '16

05 Aug '16

03 Aug '16
Kobe Colloquium: Aug 8, 2016, Jun Otsuka
by Makoto Kikuchi 02 Aug '16

02 Aug '16
Call for Participation: ICFP 2016
by Jacques Garrigue 26 Jul '16

26 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

20 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16
Talk by Liang-ting Chen, 19 Tue Jul
by Takumi Akazaki 16 Jul '16

16 Jul '16
Nagoya Set Theory Seminar
by 吉信 康夫 12 Jul '16

12 Jul '16
[TACL 2017] First announcement
by 小野 寛晰 04 Jul '16

04 Jul '16

01 Jul '16
JAIST Logic Seminar Series
by Hajime Ishihara 28 Jun '16

28 Jun '16
CFP: PEPM 2017
by Ryosuke SATO 28 Jun '16

28 Jun '16
IWC 2016 - 2nd Call for Papers
by Nao Hirokawa 14 Jun '16

14 Jun '16
JAIST Logic Seminar Series
by Hajime Ishihara 08 Jun '16

08 Jun '16
Talk by Sato Tetsuya, 14 Tue Jun
by Takumi Akazaki 08 Jun '16

08 Jun '16

03 Jun '16

27 May '16
CFP: ESSS 2016
by Yoriyuki Yamagata 18 May '16

18 May '16
IWC 2016 - Call for Papers
by Nao Hirokawa 15 May '16

15 May '16
AiML-2016: CALL FOR SHORT PRESENTATIONS
by 小野 寛晰 10 May '16

10 May '16

09 May '16
4th AJSW = 45th TRS Meeting
by Nao Hirokawa 04 May '16

04 May '16

28 Apr '16
Talk by Cho Kenta (Nijmegen), Tue 10 May
by Takumi Akazaki 27 Apr '16

27 Apr '16

22 Apr '16
数学基礎論とその応用
by Makoto Kikuchi 15 Apr '16

15 Apr '16

13 Apr '16
SLACS2016のご案内
by Koji Nakazawa 12 Apr '16

12 Apr '16
homotopy type theory
by logic@math.tsukuba.ac.jp 09 Apr '16

09 Apr '16
Talk by Nayuta Yanagisawa, Wed 30 Mar
by Toshiki Kataoka 25 Mar '16

25 Mar '16
homotopy type theory
by logic@math.tsukuba.ac.jp 24 Mar '16

24 Mar '16
Prof. Dieter Spreen at NII Logic Seminar
by Makoto Tatsuta 17 Mar '16

17 Mar '16

15 Mar '16
初めて筑波大学へ来られる方へ
by logic@math.tsukuba.ac.jp 15 Mar '16

15 Mar '16
CFP: ATVA'16 (@Oct 17-19th, Chiba)
by takashi kitamura 03 Mar '16

03 Mar '16

01 Mar '16
池上氏と横山氏の講演会(仙台)
by Tanaka Kazuyuki 01 Mar '16

01 Mar '16
国際会議TQC2016のご案内
by Yasuhiro Takahashi 01 Mar '16

01 Mar '16

26 Feb '16

26 Feb '16
CFP: PPDP 2016
by Kazutaka Matsuda 26 Feb '16

26 Feb '16
CFP: ITRS 2016
by koba 23 Feb '16

23 Feb '16
TYPES 2016 extended deadline
by Fujita Kenetsu 23 Feb '16

23 Feb '16
CSセミナーin桐生
by Fujita Kenetsu 16 Feb '16

16 Feb '16
SYSMICS 2016 call for abstracts
by 小野 寛晰 09 Feb '16

09 Feb '16
AiML-2016: 2ND CALL FOR PAPERS
by 小野 寛晰 09 Feb '16

09 Feb '16
TYPES 2016
by Fujita Kenetsu 09 Feb '16

09 Feb '16

08 Feb '16
Kusatsu Seminar 2016
by Toshihiko Kurata 03 Feb '16

03 Feb '16
Tenth NII Type Theory Workshop
by Makoto Tatsuta 31 Jan '16

31 Jan '16
Deadline Extension: FSCD'16
by hassei@kurims.kyoto-u.ac.jp 30 Jan '16

30 Jan '16
Linearity 2016 - CFP
by hassei@kurims.kyoto-u.ac.jp 27 Jan '16

27 Jan '16
市民講演会poster
by logic@math.tsukuba.ac.jp 23 Jan '16

23 Jan '16
FSCD'16 Final Call for Papers
by hassei@kurims.kyoto-u.ac.jp 22 Jan '16

22 Jan '16
CFP: PPL 2016 カテゴリ2-4
by Takahito Aoto 18 Jan '16

18 Jan '16
AiML-2016: 1ST CALL FOR PAPERS
by 小野 寛晰 12 Jan '16

12 Jan '16
SLS 2016:Vaught予想他
by Tanaka Kazuyuki 11 Jan '16

11 Jan '16
ポスター&参加募集: FLOPS2016
by Yukiyoshi Kameyama 08 Jan '16

08 Jan '16

06 Jan '16

04 Jan '16

03 Jan '16

12 Dec '15
Kobe Colloquium on Thu., Dec. 17
by Hirotaka Kikyo 09 Dec '15

09 Dec '15

08 Dec '15
FSCD'16 Second Call for Papers
by hassei@kurims.kyoto-u.ac.jp 07 Dec '15

07 Dec '15
証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 07 Dec '15

07 Dec '15
講演: 海野さん(筑波大)
by Kohei SUENAGA 06 Dec '15

06 Dec '15
証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 27 Nov '15

27 Nov '15
セミナー案内
by KASHIMA Ryo 17 Nov '15

17 Nov '15

16 Nov '15

15 Nov '15

10 Nov '15
研究会のご案内
by Suzuki, Nobu-Yuki 04 Nov '15

04 Nov '15
Talk by Bart Jacobs, Mon 2 Nov
by Toshiki Kataoka 29 Oct '15

29 Oct '15
WoLLIC 2016 - Call for Papers
by 小野 寛晰 29 Oct '15

29 Oct '15
Talk by Petr Cintula (29 Oct 11:00-)
by Tetsuya Sato 27 Oct '15

27 Oct '15
FSCD'16 Call for Papers
by Nao Hirokawa 23 Oct '15

23 Oct '15
特任研究員の募集
by koba 16 Oct '15

16 Oct '15

08 Oct '15
Call for papers for AWPL-TPLC 2016
by 小野 寛晰 08 Oct '15

08 Oct '15
job openings at AIRC, Japan
by Ken Satoh 30 Sep '15

30 Sep '15
TMC 2015 and Cresswell's lectures
by 小野 寛晰 21 Sep '15

21 Sep '15
LATD 2016 (First Announcement)
by 小野 寛晰 19 Sep '15

19 Sep '15
証明論研究集会 & SLACS のご案内
by Toshihiko Kurata 17 Sep '15

17 Sep '15

14 Sep '15
FLOPS2016 論文募集 (deadline extension)
by Yukiyoshi Kameyama 08 Sep '15

08 Sep '15
JAIST Logic Seminar Series
by Hajime Ishihara 05 Sep '15

05 Sep '15

03 Sep '15

03 Sep '15
訃報:角田譲先生
by Makoto Kikuchi 28 Aug '15

28 Aug '15
Last CFP: TPP 2015
by Jacques Garrigue 28 Aug '15

28 Aug '15
ELC Seminar (Norbert Müller), Tue Sep 8
by Akitoshi Kawamura 27 Aug '15

27 Aug '15
CTFM 2015 Call for Participation
by YOKOYAMA Keita 24 Aug '15

24 Aug '15
JAIST Logic Seminar Series
by Hajime Ishihara 20 Aug '15

20 Aug '15
CFP: 43rd TRS Meeting
by Yoshihito Toyama 18 Aug '15

18 Aug '15
rims研究集会
by shioya@math.tsukuba.ac.jp 16 Aug '15

16 Aug '15
PEPM2016 論文募集
by Yukiyoshi Kameyama 16 Aug '15

16 Aug '15
HSCC 2016: Call for Papers
by Ichiro Hasuo 13 Aug '15

13 Aug '15
CTFM 2015 Call for Participation
by YOKOYAMA Keita 03 Aug '15

03 Aug '15
MACIS 2015
by Akitoshi Kawamura 02 Aug '15

02 Aug '15
FLOPS2016 論文募集
by Yukiyoshi Kameyama 01 Aug '15

01 Aug '15
CSセミナーin桐生
by Fujita Kenetsu 27 Jul '15

27 Jul '15

27 Jul '15
Kobe Colloquium (July 28, 2015, J. Makowsky)
by fuchino@diamond.kobe-u.ac.jp 24 Jul '15

24 Jul '15

22 Jul '15
CFP: 43rd TRS Meeting
by Yoshihito Toyama 21 Jul '15

21 Jul '15
数学基礎論サマースクール2015
by Makoto Kikuchi 18 Jul '15

18 Jul '15
セミナー案内
by KASHIMA Ryo 14 Jul '15

14 Jul '15
数学基礎論サマースクール2015
by Makoto Kikuchi 05 Jul '15

05 Jul '15
NLCS'15 Program
by Makoto Kanazawa 30 Jun '15

30 Jun '15

27 Jun '15
千葉 logic seminar (2015年7月8日)
by Naohi Eguchi 24 Jun '15

24 Jun '15
Klaus Keime 教授講演会
by Hideki Tsuiki 23 Jun '15

23 Jun '15
Sylvain Salvati at NII Logic Seminar 7/1
by Makoto Kanazawa 23 Jun '15

23 Jun '15
CTFM2015 Call for abstracts
by YOKOYAMA Keita 20 Jun '15

20 Jun '15

19 Jun '15

17 Jun '15
セミナー案内
by KASHIMA Ryo 13 Jun '15

13 Jun '15

06 Jun '15
APLAS 2015: Deadline extension (June 15)
by Kohei SUENAGA 06 Jun '15

06 Jun '15
数学基礎論サマースクール2015
by Makoto Kikuchi 05 Jun '15

05 Jun '15
モデル理論研究集会のお知らせ
by ikeda@hosei.ac.jp 04 Jun '15

04 Jun '15
APLAS 2015: Final Call for Papers
by Kohei SUENAGA 28 May '15

28 May '15
Kobe set theory seminar on Tue 2 June.
by Daisuke Ikegami 28 May '15

28 May '15

25 May '15
ICALP/LICS 2015 Call for Participation
by Hasegawa Masahito 25 May '15

25 May '15
AQIS2015のご案内
by NISHIMURA Harumichi 21 May '15

21 May '15
Fwd: CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15
CTFM2015 Call for abstracts
by YOKOYAMA Keita 15 May '15

15 May '15
Results per page: