February 2012 Archives by subject

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

Starting: Wed Feb 1 01:06:21 JST 2012
Ending: Wed Feb 29 22:23:20 JST 2012
Messages: 21

• [logic-ml] 2012LLS   Toshihiko Kurata
• [logic-ml] 2012LLS   Toshihiko Kurata
• [logic-ml] [yoshiki] DICE 2012 - Call for Extended Abstracts   KINOSHITA Yoshiki
• [logic-ml] Advances in Modal Logic IX   Hiroakira Ono
• [logic-ml] Asian Workshop on Philosophical Logic   Hiroakira Ono
• [logic-ml] Call for Papers: ICE 2012, Interaction and Concurrency Experiences   Ichiro Hasuo
• [logic-ml] CFP: 8th Scandinavian Logic Symposium   Thomas Bolander
• [logic-ml] CFP: AiML 2012   Thomas Bolander
• [logic-ml] DICE 2012 - Call for Extended Abstracts   Nao Hirokawa
• [logic-ml] ICFEM 2012: Call for Papers   Yuki Chiba
• [logic-ml] JAIST Advanced Lecture Series (6)   Hiroakira Ono
• [logic-ml] JAIST Verification Seminar on Complexity Theory by Prof. Yijia Chen (Feb 9, 13:00)   Nao Hirokawa
• [logic-ml] lectures by Prof. Marta Kwiatkowska   hagiya at is.s.u-tokyo.ac.jp
• [logic-ml] NII Type Theory Workshop   Makoto Tatsuta
• [logic-ml] PPL2012 プログラム決定＆参加案内   Koji Nakazawa
• [logic-ml] Second Call for Participation: JAIST Spring School 2012 - Formal Reasoning: Theory and Application - (5 - 9 March, 2012)   Katsuhiko Sano
• [logic-ml] The second「論数哲」(PhilLogMath) workshop   Shunsuke Yatabe
• [logic-ml] 「論理・数学的論証と認知のダイナミクス」国際研究会（２月２５日慶応大三田キャンパス）のご案内   Mitsu Okada
• [logic-ml] ワークショップ「数理論理学の諸科学への発展と展開」のご案内   Katsuhiko Sano
• [logic-ml] 佐藤雅彦先生 最終講義の御案内   Koji Nakazawa
• [logic-ml] 第26回量子情報技術研究会（QIT26）のご案内   Harumichi Nishimura

Last message date: Wed Feb 29 22:23:20 JST 2012
Archived on: Wed Feb 29 22:23:39 JST 2012

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