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: Nonmonotonic 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