Dear all,
Unfortunately, I need to cancel this year's iteration of the Program Analysis course as I will not have sufficient time to devote to the course. I am sorry about that. The next iteration of the course will probably take place in WS 2027/28.
