Proceedings of URC* 2010. Undergraduate Research in Computer Science - Theory and Applications. Student Conference

This volume contains selected papers presented by students at URC* 2010 (Undergraduate Research in Computer Science - Theory and Applications). The papers cover a wide range of topics, including algorithm design (in particular, the design of heuristic algorithms for the maximum-leaf spanning tree problem, and the analysis of speed scaling algorithms), programming language design (in particular, language based security, the use of effect systems for automating model extraction, and results on adaptation languages using visual environments) and applications to ray tracing optical phenomena and pattern matching in MIDI les. The URC* 2010 conference took place at King's College London, 24-26 March 2010, in association with a Spring School on Information and Software Security. URC*2010 brought together undergraduate students, postgraduate students and leading scientists, with the goal of promoting research in computer science and interdisciplinary topics amongst undergraduate students. By introducing students to new research results and techniques, it encouraged them to start conducting research and producing research results already during their undergraduate studies.