February 2019 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Tue Feb 5 20:19:19 JST 2019
Ending: Tue Feb 26 02:54:02 JST 2019
Messages: 13

• [logic-ml] CADE-27: Second Call for Papers   Nao Hirokawa
• [logic-ml] CSCAT 2019 開催案内   Kensuke Kojima
• [logic-ml] CTFMのご案内   小俣 安彦
• [logic-ml] ENTROPY 2019: Second Call for Papers - Co-located with EuroS&P'19   David Nowak
• [logic-ml] JAIST Logic Seminar Series (Feb 26, 13:30-15:30)   Nao Hirokawa
• [logic-ml] Summer School in Dynamic Epistemic Logic, Sapporo (Japan), 13-23 Aug 2019   Katsuhiko Sano
• [logic-ml] 「圏論シンポジウム」開催のお知らせ; Symposium on the Categorical Unity of the Sciences   Yoshihiro Maruyama
• [logic-ml] 【参加募集(最終案内)】第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）   Kazuyuki ASADA
• [logic-ml] 【参加募集（交通案内更新）】第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）   Kazuyuki ASADA
• [logic-ml] 【論文募集】Haskell Symposium 2019@ベルリン【Early Track〆切：3/15，Regular Track〆切：5/10，会議：8/22-23】   Kazutaka Matsuda
• [logic-ml] オートマトン&ロジックワークショップ開催の案内@秋田大(3/26~3/27)   Ryoma Sin'ya
• [logic-ml] 公募（助教：東工大情報理工学院情報工学系）   Shin-ya Nishizaki
• [logic-ml] 理論計算機科学と圏論ワークショップ（CSCAT 2019）3/9-10   MIYOSHI HIROYUKI

Last message date: Tue Feb 26 02:54:02 JST 2019
Archived on: Tue Feb 26 02:54:49 JST 2019

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...