Unifying Themes
Problems motivated by the practice of software
development
Logic and type theory as indispensible tools for
their solution
Theory and system building go hand-in-hand