summer school 2013 @unist: examples and project