Logic-ml

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 1792 discussions
Call for Participation: FLOPS 2018
by Koji Nakazawa 30 Mar '18

30 Mar '18

27 Mar '18
CFP: 49th TRS Meeting at Ikaho
by Fujita Kenetsu 16 Mar '18

16 Mar '18
Lectures by Prof. Jeremy Gray
by 久木田水生 13 Mar '18

13 Mar '18
Project colloquium talk by Thorsten Wissman on 15 March
by urabenatsuki@is.s.u-tokyo.ac.jp 13 Mar '18

13 Mar '18

12 Mar '18

10 Mar '18

10 Mar '18
QIT38のご案内
by NISHIMURA Harumichi 07 Mar '18

07 Mar '18

05 Mar '18
IWC 2018 (Part of FLoC 2018 at Oxford)
by KIKUCHI Kentaro 02 Mar '18

02 Mar '18
リマインダー:Sakarovitch先生講演会
by "新屋良磨(秋田大)" 28 Feb '18

28 Feb '18
Project colloquium talk by Étienne André and Bart Jacobs on 1 March
by urabenatsuki@is.s.u-tokyo.ac.jp 26 Feb '18

26 Feb '18
Project colloquium talk by Takeo Uramoto on 22 February
by urabenatsuki@is.s.u-tokyo.ac.jp 21 Feb '18

21 Feb '18
Talk by Prof. Jacques Sakarovitch (March 2, 2018)
by "新屋良磨(秋田大)" 16 Feb '18

16 Feb '18
Talk by Silvia Ghilezan (1st Feb., 11:00-)
by Kazushige TERUI 31 Jan '18

31 Jan '18
Talk by Bakh Khoussainov (25 Jan, 11.00-)
by Kazushige TERUI 21 Jan '18

21 Jan '18

28 Dec '17
CFP: SetVR 2018 @ Diagrams 2018
by Yuri Sato 16 Dec '17

16 Dec '17

08 Dec '17
Talk by Amar Hadzihasanovic (07 Dec 11.00-)
by Kazushige TERUI 06 Dec '17

06 Dec '17

05 Dec '17

02 Dec '17

28 Nov '17

24 Nov '17

24 Nov '17

24 Nov '17
CFP: 48th TRS Meeting
by Takahito Aoto 23 Nov '17

23 Nov '17

18 Nov '17
LFMTP'18 Call for Papers
by Makoto Hamana 17 Nov '17

17 Nov '17
セミナーの案内
by Makoto Kikuchi 15 Nov '17

15 Nov '17
FLOPS 2018 CFP
by Makoto Tatsuta 12 Nov '17

12 Nov '17
Project colloquium talk by Jurriaan Rot and Kenta Cho on 9 November
by urabenatsuki@is.s.u-tokyo.ac.jp 06 Nov '17

06 Nov '17

06 Nov '17
CFP: TPP 2017 (Dec. 6-7 in Kyoto Univ.)
by Atsushi Igarashi 31 Oct '17

31 Oct '17
MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 25 Oct '17

25 Oct '17

11 Oct '17
FSCD 2018 Call for Papers
by Takahito Aoto 11 Oct '17

11 Oct '17

10 Oct '17

05 Oct '17
名古屋ロジックセミナー(10/6)
by Takayuki Kihara 04 Oct '17

04 Oct '17
PEPM 2018: Final CfP
by Kohei SUENAGA 29 Sep '17

29 Sep '17

28 Sep '17

22 Sep '17
続報: MLG 数理論理学研究集会
by Suzuki, Nobu-Yuki 21 Sep '17

21 Sep '17

15 Sep '17

02 Sep '17
JAIST Logic Seminar Series
by Hajime Ishihara 30 Aug '17

30 Aug '17
[Deadline Extension] JURISIN2017: call for Papers
by Ken Satoh (web mail) 22 Aug '17

22 Aug '17

07 Aug '17
Call for papers: PEPM 2018
by Kohei SUENAGA 02 Aug '17

02 Aug '17
AQIS17のご案内
by NISHIMURA Harumichi 27 Jul '17

27 Jul '17

24 Jul '17

24 Jul '17
講演会 (上村太一氏)
by Ryoma Shinya 21 Jul '17

21 Jul '17

21 Jul '17
CTFM2017のご案内
by YOKOYAMA Keita 19 Jul '17

19 Jul '17
Fwd: CTFM2107: the change of speakers
by YOKOYAMA Keita 19 Jul '17

19 Jul '17

15 Jul '17
47th TRS meeting (参加者募集)
by Munehiro Iwami 07 Jul '17

07 Jul '17
FLOPS 2018: Call for Papers
by koba@kb.is.s.u-tokyo.ac.jp 04 Jul '17

04 Jul '17

30 Jun '17

28 Jun '17
Talk by Georgios Fainekos on June 30
by urabenatsuki@is.s.u-tokyo.ac.jp 26 Jun '17

26 Jun '17

20 Jun '17
[LORI-VI] 1st Call for Participation
by Katsuhiko Sano 20 Jun '17

20 Jun '17

14 Jun '17

13 Jun '17

01 Jun '17
LFCS 2018 Call for Papers
by Hajime Ishihara 23 May '17

23 May '17
Talk by Prof. Sebastian Maneth
by Keisuke Nakano 18 May '17

18 May '17
SLACS2017講演募集のお知らせ
by 安部達也 17 May '17

17 May '17
JAIST Logic Seminar Series
by Takako Nemoto 15 May '17

15 May '17
訃報:竹内外史先生
by Makoto Kikuchi 12 May '17

12 May '17
ランダムネス集中講義
by Toshio Suzuki 28 Apr '17

28 Apr '17

27 Apr '17
JAIST Logic Seminar Series
by Takako Nemoto 25 Apr '17

25 Apr '17

19 Apr '17
JAIST Logic Seminar Series
by Hajime Ishihara 17 Apr '17

17 Apr '17
Talk by Marc Bagnol (13 Apr 11:00-)
by Tetsuya Sato 08 Apr '17

08 Apr '17
Autumn school "Proof and Computation"
by Hajime Ishihara 07 Apr '17

07 Apr '17
ITP 2017 - Final Call for Papers
by Nao Hirokawa 14 Mar '17

14 Mar '17
JAIST Logic Seminar Series
by Takako Nemoto 10 Mar '17

10 Mar '17
QIT36のご案内
by NISHIMURA Harumichi 08 Mar '17

08 Mar '17
First NII Programming and Logic Workshop
by Makoto Tatsuta 27 Feb '17

27 Feb '17
DICE-FOPARA 2017: deadline extension
by Nao Hirokawa 21 Feb '17

21 Feb '17
JAIST Logic Seminar Series
by Takako Nemoto 14 Feb '17

14 Feb '17

10 Feb '17

06 Feb '17

05 Feb '17

03 Feb '17
Talk by Marc Bagnol (9 Feb 11:00-)
by Tetsuya Sato 30 Jan '17

30 Jan '17
Kusatsu_Seminar_2017
by Naosuke MATSUDA 29 Jan '17

29 Jan '17

24 Jan '17
ITP 2017 - 2nd Call for Papers
by Nao Hirokawa 24 Jan '17

24 Jan '17
セミナー案内
by KASHIMA Ryo 22 Jan '17

22 Jan '17
DICE-FOPARA 2017: Call for Papers
by Nao Hirokawa 18 Jan '17

18 Jan '17
FSCD 2017: CFP
by Takahito Aoto 10 Jan '17

10 Jan '17

16 Dec '16
Talk by Nao Hirokawa (22 Dec 11:00-)
by Tetsuya Sato 15 Dec '16

15 Dec '16
Nagoya Set Theory seminar
by 吉信 康夫 15 Dec '16

15 Dec '16
GaLoP 2017: Call for Papers
by Ichiro Hasuo 03 Dec '16

03 Dec '16
JAIST Logic Seminar Series
by Hajime Ishihara 22 Nov '16

22 Nov '16
Banquet of RIMS Set Theory Workshop 2016
by Teruyuki YORIOKA 11 Nov '16

11 Nov '16
homotopy type theory
by logic@math.tsukuba.ac.jp 30 Oct '16

30 Oct '16
24th WoLLIC 2017 - Call for Papers
by 小野 寛晰 24 Oct '16

24 Oct '16

24 Oct '16

21 Oct '16
PEPM 2017: Call for Posters
by Ryosuke SATO 21 Oct '16

21 Oct '16
Talk by Adam Prenosil (13 Oct 11:00-)
by Tetsuya Sato 05 Oct '16

05 Oct '16

30 Sep '16

29 Sep '16
correction again
by 吉信 康夫 21 Sep '16

21 Sep '16
correction
by 吉信 康夫 21 Sep '16

21 Sep '16
nagoya logic seminar
by 吉信 康夫 21 Sep '16

21 Sep '16
公募
by 泉英明 19 Sep '16

19 Sep '16
(no subject)
by 泉英明 19 Sep '16

19 Sep '16
数学基礎論とその応用
by Makoto Kikuchi 17 Sep '16

17 Sep '16
特任研究員の募集
by koba@kb.is.s.u-tokyo.ac.jp 16 Sep '16

16 Sep '16
Talk by Quentin Heath, 29 Sept.
by koba@kb.is.s.u-tokyo.ac.jp 16 Sep '16

16 Sep '16
Nagoya Set Theory seminar
by 吉信 康夫 15 Sep '16

15 Sep '16

10 Sep '16
JAIST Logic Seminar Series
by Hajime Ishihara 09 Sep '16

09 Sep '16
Workshop 参加者募集のお知らせ
by Hideki Tsuiki 07 Sep '16

07 Sep '16
Results per page: