記号計算の国際会議SCSS2016の予稿集が公開されていた。 http://easychair.org/publications/volume/SCSS_2016