Research Seminar in CS (Spring 2015)