Theory and practice of computation : proceedings of Workshop on Computation : Theory and Practice WCTP2013, University of the Philippines Diliman, Philippines, 30 September - 1 October 2013

Programming Language Theory Formal Method Formal Systems for Biology Programming Development Environment Empathic Computing Serious Games Encoding Intelligent Computation