Material for the self study

Dear all,

As mentioned IN5440 will run as a self-study course, meaning that there will be no lectures. However, I plan that we can book a weekly meeting room for open discussions. I will also suggest that each of you for this takes turns leading these metings.

I have promised to find material for you. The plan will be to follow some material from the Program Analysis course at DTU in Copenhagen:
https://www2.compute.dtu.dk/courses/02242/#sec:schedule
I will discuss the practical stuff with Christian Kalhauge (teaching the course at DTU) about some of the practical stuff.
Perhaps with something more.

This will be fixed before semester start.

Best,
Michael