Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 397-404 (2017).
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 253-255 (2010).
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 177-184 (2005).
Condon, Anne (ed.) et al., DNA computing. 6th international workshop on DNA-based computers, DNA 2000. Leiden, The Netherlands, June 13-17, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2054, 43-52 (2001).
Palamidessi, Catuscia (ed.) et al., Principles of declarative programming. 10th international symposium, PLILP ’98. Held jointly with the 6th international conference, ALP ’98, Pisa, Italy, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1490, 463-480 (1998).