Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
ポスター&参加募集: FLOPS2016
by Yukiyoshi Kameyama 08 Jan '16

08 Jan '16

05 Jan '16

03 Jan '16

02 Jan '16

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

09 Dec '15

07 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 05 Dec '15

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

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

17 Nov '15

16 Nov '15

14 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 小野 寛晰 28 Oct '15

28 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 22 Oct '15

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

16 Oct '15

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

07 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 27 Aug '15

27 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 15 Aug '15

15 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 01 Aug '15

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

31 Jul '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 23 Jul '15

23 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 13 Jul '15

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

04 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 19 Jun '15

19 Jun '15

19 Jun '15

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

13 Jun '15

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

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

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

03 Jun '15
APLAS 2015: Final Call for Papers
by Kohei SUENAGA 27 May '15

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

27 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: