Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation | lit.salon