We had a seminar with Prof. Hongseok Yang about finding a good program abstraction in an automatic way.
After that, we visited joint research center which is located at Science Building Annex and talk for a while

Date: September 17th 2015, 3:00 pm ~ 5:00 pm
Location: The WooJung College of Information and Communications Hall, Korea University