What is Computational Logic?

Computational logic, in my view, is the intersection of mathematical reasoning with computer science. Hence I believe this topic includes areas such as logic programming, automated reasoning, logics of programs, formal semantics of programs, reasoning about programs (including termination and complexity analyses), proof theory, countermodel generation and disproof, proofs-as-types, and probably numerous other topics. I know that some people use Logic and Computation (as in the Journal of Logic and Computation)  and various other similar phrases; I don't think the precise words matter too much, but I liked this phrase, and so it has stuck (so far, anyway!). The resonance with ACM Transactions on Computational Logic and the International Federation for Computational Logic is deliberate.

RMIT Computational Logic