SCSS 2016: Volume InformationSCSS 2016. 7th International Symposium on Symbolic Computation in Software Science14 articles•182 pages•Published: March 27, 2016 PapersKeyphrasesalphaequivalence, arithmetization, automated reasoning, bindingtime analysis, bitsize, Compass and straightedge construction, completeness, componentbased software engineering, computational origami, confluence, Conformal Geometric Algebra, congruence closure, Coq^{3}, critical pairs, crossstage persistence, data structure, decision procedure, delimited continuations, Expression Compatibility Problem, expression problem, expression simplification, formal semantics, formalization, formalized mathematics, functional logic programming, geometry^{2}, interactive theorem proving, Lagrange interpolation, lexicographic Groebner bases, Lightweight Family Polymorphism, Mathematica, multiplicity, narrowing, network monitors, Nominal rewriting, partial evaluation, planarity, PLCA, predicate logic, program verification, proof assistant, qualitative spatial reasoning, shift and reset, soundness, space complexity, staging, stepper, strategies, symbolic computation, Tarski's system of geometry, term equivalence, theory of equality, Triangular Sets, Wang tiling. 
