- Associate Professor Jørgen Villadsen
- Associate Professor Thomas Bolander
- Associate Professor Valentin Goranko

- Foundations, History & Philosophy of Logic
- Hybrid Logic & Decision Procedures
- Intensionality & Higher Order Logic
- Logic Programming & Constraint Solving
- Paraconsistency & Many-Valued Logic
- Substructural Logic & Categorial Grammar

- CoLogNET, A Network of Excellence in Computational Logic (RUC)
- Logic Seminars (RUC)
- Logiweb (DIKU)
- Programming, Logic and Semantics (ITU)
- Programming, Logic and Intelligent Systems (RUC)
- PhiLog: Danish Network for Philosophical Logic and Its Applications (RUC)
- Paul C. Gilmore & James H. Andrews

Keywords: Formal Logic (Computational, Mathematical, Philosophical), Type Theory, Declarative Programming, Autonomous Agents, Verification

Mathematics is the art of making vague intuitive ideas precise and then studying the result...

The tool available for practicing the art is logic

Logicism Renewed: Logical Foundations for Mathematics and Computer Science

Paul C. Gilmore (Association for Symbolic Logic 2005)