Software Engineering using Formal Methods |
TDA293/DIT270, LP1, HT2014 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Schedule | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Places and Times In the first half of the course we have lectures every week on Tuesdays and Thursday between 13:15 and 15:00. Exercise classes are on Fridays between 13:15 and 15:00. The exercises won't necessarily last two hours, but we reserved a larger slot, just in case. In the second half of the course we instead have the exercise sessions on Tuesdays and lectures on Fridays. The schedule shown below is subject to change. Copies of the slides will be provided shortly after each lecture. If you have any general questions regarding the course, please send them to our Google group (instructions for accessing the group are here). Welcome to the first lecture on Tuesday, September 2, at 13:15 in room EA.
Guest lecturer: AL = Anna-Lena Lamprecht
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Home | Course | Schedule | Exam | Exercises | Labs | Eval | Tools | W. Ahrendt , Oct 17, 2014 |