CADE

はじめに

自動演繹に関する有名な国際会議

情報

  • CADE - the Conference on Automated Deduction

    http://www.cadeconference.org/

  • 最近は2年に一度開催。IJCAR(International Joint Conference on Automated Reasoning)でもセッション？をもっている様子。これも2年に一度。よって、CADEとIJCARが交互に開かれている。

論文集:

CADE 5（1980年開催）からLecture Note in Computer Scienceシリーズで出版。

戻る