All lines of research within LOGPROG are concerned with the theory, tools and techniques related to Logic in Computer Science:

• The design of Logic-based tools for, e.g., SAT (see also this), or SAT Modulo Theories (see also this)
• Constraint programming
• Proof complexity
• Automated Theorem Proving
• Rewriting
• The implementation of logics
• Symbolic constraint solving
• Logic-based complexity and decidability analysis

and their application for solving problems in industry and science.