Software Research Seminar: Talk 1