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
 15819 Hardware and Software Verification
 15624/824 Foundations of CyberPhysical Systems
 21600 Mathematical Logic I
 21602 Set Theory I
 21603 Model Theory I
 21700 Mathematical Logic II
 21702 Set Theory II
 21703 Model Theory II
 21800 Advanced Topics in Logic
 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
 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
Before each semester, a list of
courses and descriptions for the upcoming term is published here.
 PAL courses, Spring 2013
 PAL courses, Fall 2012
 PAL courses, Spring 2012
 PAL courses, Fall 2011
 PAL courses, Spring 2011
 PAL courses, Fall 2010
 PAL courses, Spring 2010
 PAL courses, Fall 2009
 PAL courses, Spring 2009
 PAL courses, Fall 2008
 PAL courses, Spring 2008
 PAL courses, Fall 2007
 PAL courses, Spring 2007
 PAL courses, Fall 2006
 PAL courses, Spring 2006
 PAL courses, Fall 2005
 PAL courses, Spring 2005
 PAL courses, Fall 2004
