January 2019 Archives by subject

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

Starting: Sat Jan 5 22:02:25 JST 2019
Ending: Thu Jan 31 14:50:47 JST 2019
Messages: 13

• [logic-ml] [ポスター発表募集] 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)   Kohei SUENAGA
• [logic-ml] Call for presentations: 第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019) カテゴリ2,3,4   Kohei SUENAGA
• [logic-ml] CFP: Agda Implementors' Meeting XXIX (March 13 - 19 at Ochanomizu University)   Youyou Cong
• [logic-ml] ENTROPY 2019: Call for Papers - Co-located with EuroS&P'19   David Nowak
• [logic-ml] FSCD 2019 Last Call for Papers   Nao Hirokawa
• [logic-ml] JAIST Logic Seminar Series   Hajime Ishihara
• [logic-ml] RIMS   arai toshiyasu
• [logic-ml] Talk by Ulrich Berger (17th January, 11.00-)   Kazushige TERUI
• [logic-ml] Workshop “Norm, Rule and Disagreement” Keio University Jan.11th, 2019   Mitsu Okada
• [logic-ml] 【参加募集】第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019）   Kazuyuki ASADA
• [logic-ml] 【論文募集】Bx 2019 (Workshop on Bidirectional Transformations)【2/12アブスラクト〆切】   Kazutaka Matsuda
• [logic-ml] セミナー案内   KASHIMA Ryo
• [logic-ml] ラムダ計算と論理の早春セミナー   Naosuke MATSUDA

Last message date: Thu Jan 31 14:50:47 JST 2019
Archived on: Thu Jan 31 14:51:23 JST 2019

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