March 2015 Archives by author

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

Starting: Sun Mar 1 00:29:29 JST 2015
Ending: Thu Mar 19 12:34:34 JST 2015
Messages: 17

• [logic-ml] 教員公募（名古屋大学情報科学研究科・准教授）   Jacques Garrigue
• [logic-ml] Workshop on secure quantum computing   NISHIMURA Harumichi
• [logic-ml] 教員公募（名古屋大学情報科学研究科・助教）   NISHIMURA Harumichi
• [logic-ml] Fwd: [TYPES/announce] CALCO 2015 : Last Call for Papers   Ichiro Hasuo
• [logic-ml] LCC 2015 - Call for Papers   Nao Hirokawa
• [logic-ml] 講演会 (Nadia Polikarpova氏)   Atsushi Igarashi
• [logic-ml] 島根大学 教授(任期なし) 公募【5/28締切】について   Munehiro Iwami
• [logic-ml] Talk by G. Sambin and M. Maietti [13 Mar 15:30-]   Shinya Katsumata
• [logic-ml] Talk by Gergei Bana (26 Mar 11:00-)   Shinya Katsumata
• [logic-ml] 情報処理学会全国大会企画「計算に潜む数理，計算としての数理 --- 証明はプログラミング！」のご案内   Kazutaka Matsuda
• [logic-ml] CSL 2015 - call for papers   Kazushige TERUI
• [logic-ml] Workshop on Logic and Philosophy of Logic, March 19th(Thu)-20th(Fri), 2015   Yuta Takahashi
• [logic-ml] Prof. Giovanni Sambin at NII Logic Seminar   Makoto Tatsuta
• [logic-ml] AIST Seminar on Software Reliability   takeuti at kuis.kyoto-u.ac.jp
• [logic-ml] AIST Seminar on Software Reliability   山形賴之
• [logic-ml] TSSS (Tsukuba Software Science Seminar) at AIST Tsukuba, Mar. 23, 2015   山形賴之
• [logic-ml] TSSS (Tsukuba Software Science Seminar) at AIST Tsukuba, Mar. 23, 2015   山形賴之

Last message date: Thu Mar 19 12:34:34 JST 2015
Archived on: Thu Mar 19 12:34:44 JST 2015

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