Logic course offerings
The three PAL departments offer many beginning, intermediate
and advanced graduate logic courses.
Beginning courses are repeated every year with more or less the same
content each time whereas the topics covered in intermediate
and advanced courses vary. Courses that are offered on a regular or semiregular basis include:
 15812 Semantics of Programming Languages
 15814 Type Systems for Programming Languages
 15816 Automated Reasoning and Satisfiability
 15819 Hardware and Software Verification
 15624/824 Foundations of CyberPhysical Systems
 21600 Mathematical Logic I
 21602 Set Theory I
 21603 Model Theory I
 21604 Recursion Theory
 21624 Descriptive Set Theory
 21700 Mathematical Logic II
 21702 Set Theory II
 21703 Model Theory II
 21800 Advanced Topics in Logic
 21803 Model Theory III
 21804 Math Logic Seminar
 21805 Lambda Calculus
 80610 Logic and Computation
 80615 Modal Logic
 80611 Computability and Incompleteness
 80612 Philosophy of Mathematics
 80618 Computability and Proof Search
 80619 Computability and Learnibility
 80711 Proof Theory
 80713 Category Theory
 80719 Interactive Theorem Proving
 80813 Seminar on Philosophy of Mathematics
 80820 Categorical Logic
One can read off departments from course numbers as follows:
 15xxx Computer Science
 21xxx Mathematical Sciences
 80xxx Philosophy
