The discussion about the next steps SIGSAM and ISSAC should take.https://sigsam.hosting.acm.org/future-forum/
https://sigsam.hosting.acm.org/future-forum/viewtopic.php?t=211