研究活動に関するページ

• 論文ファイルつきのリストは， 英語版を御覧ください．
• 日本語の論文を含む発表論文名一覧は ここにあります。
• DBLP: Yukiyoshi Kameyama はこちら。

学会等

• 日本ソフトウェア科学会: 会員, 理事(2008-2012), 編集委員 (2008-2012)
  • プログラミング論研究会: 運営委員 (200?-2006, 2008-2011)
  • ディペンダブルシステム研究会: 幹事(2008年度)
• 情報処理学会: 会員(-present), 編集委員 (大昔)
  • プログラミング論研究会(SIG-PRO)
• 電子情報通信学会 : 会員 (2007-2012)
  • 和文論文誌Ｄ,英文論文誌ED: 「フォーマルアプローチ特集」編集委員長(2008年), 副編集委員長 (2007年), 編集委員 (2006-2008)
  • ソフトウェアサイエンス研究会
• ACM: member
  • SIGPLAN
  • ACM Japan
• IEEE
• EAPLS
• Association for Symbolic Logic
• FLOPS Symposia: steeering committee member
• Types Mailing List
LICS Newsletter