SIGSAM and ISSAC evolution

I favor option two. My rationale is as follows: In conversations with other TCS experts I often notice there is a big lack of communication between computational algebra community and the broad theory of computing community. I think, as the current of state of the things are, it is hard to sustain a...