23. CADE 2011:
: The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract).
: Advances in Proving Program Termination and Liveness.
: Translating between Language and Logic: What Is Easy and What Is Difficult.
Chad E. Brown
: Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems.
: Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs.