December 2014 Archives by subject

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

Starting: Mon Dec 1 21:41:24 JST 2014
Ending: Fri Dec 26 11:34:43 JST 2014
Messages: 9

• [logic-ml] 42nd TRS Meeting - Final CFPart   Naohi Eguchi
• [logic-ml] CFP: PPL2015 第17回プログラミングおよびプログラミング言語ワークショップ 論文募集   Makoto Hamana
• [logic-ml] CFP: PPL2015 第17回プログラミングおよびプログラミング言語ワークショップ 論文募集   Makoto Hamana
• [logic-ml] Logical Inference & Proof 学際会議（Jan 12-13th　Mita Campus Keio Univ）のお知らせ   Mitsuhiro Okada
• [logic-ml] QPL 2015: Call for papers   Ichiro Hasuo
• [logic-ml] Talk by John Power (U. Bath), Mon 15 Dec at UTokyo (Hongo)   Ichiro Hasuo
• [logic-ml] The 49th MLG Meeting: Program   Katsuhiko Sano
• [logic-ml] WoLLIC 2015 - Second Call for Papers   小野 寛晰
• [logic-ml] クリスマス・ワークショップ「証明論・計算論とその周辺」   Kazushige TERUI

Last message date: Fri Dec 26 11:34:43 JST 2014
Archived on: Fri Dec 26 11:13:47 JST 2014

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