This course will cover concepts of programming languages design, and formal reasoning about programs and programming languages. Topics will include operational semantics, denotational semantics, fixpoints and fixpoint induction, axiomatic semantics, functional programming, logic programming.