Additional Lecture INF 4231 Moved!

I have to move the lecture for INF 4231 students on temporal logic to May 8.  Monday May 5 might also work, but unless there are requests for change, I am aiming at Thursday May 8.

There is no lecture until May 8.