Logic Related Courses in CS

• Logic in Computer Science I
• Logic in Computer Science II
• Logic and Definability
• Automated Theorem Proving
• Seminar: Finite Automata on Infinite Objects
• Seminar: Non-monotonic Logic
• Seminar in Logic (Math Department)
• Formal Specification of Complex Systems
• Automatic Verification of Hardware and Software Systems
• Program Verification
• Foundations of Logic Programming
• Semantics of Programming Languages