Day	Course	Time
Wednesday	Formal Method in software engineering	16:30 - 18:45