2013 2nd Workshop-School on Theoretical Computer Science