Date: Tuesday, June 25, 2024 (Tentative!)

• Time: 14:00 (Tentative!)
• Place: TBD

Topics:

• Temporal logic and model checking
• Predicate logic and theorem proving
• Verification case studies (e.g. pipelined processors, ATM switches)