2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3057-9