PhD Courses in Denmark

The objective of the Nordic Logic Summer School is to provide advanced training in logical and mathematical methods that underpin modern AI and data science. The school will equip MSc and PhD students, as well as AI practitioners with theoretical tools that strengthen the methodological foundations of data science in areas such as knowledge representation, probabilistic reasoning, and automated reasoning. Logical methods provide formal foundations for data-driven systems by complementing machine learning and statistical approaches with formal reasoning, interpretability, and principled handling of uncertainty. By hosting the event at DTU in connection with Scandinavian Logic Society Symposium 2026, the programme will provide Danish students and researchers with access to leading international experts, strengthening Denmark’s role in the Nordic and European research landscape on the foundations of AI and data science.

A student who has met the objectives of the course will be able to:

• Understand logical frameworks used in modal logic, temporal logic, probabilistic reasoning, and database logic
• Explain how logic contributes to data science in knowledge representation, reasoning under uncertainty, explainable AI, and data querying
• Integrate logical techniques with data-driven approaches to AI and data science
• Recognise connections between symbolic reasoning methods and statistical or machine-learning approaches in modern AI systems
• Formulate and evaluate logical representations of problems arising in artificial intelligence and data management
• Read and critically assess research literature in logic, especially in the context of AI and data science
• Engage in interdisciplinary discussions connecting logic, machine learning, and data science
• Analyse and reason about formal models of knowledge, time, agents, and uncertainty

The Nordic Logic Summer School (https://slss2026.compute.dtu.dk/nordic-logic-school/) will offer a 4 day programme of advanced courses on the logical and mathematical foundations (with a focus on AI and data science). The event will take place at DTU's Skylab - a well-known innovation and entrepreneurship centre for tech development. The school will follow the format successfully used in previous editions of the school (see https://scandinavianlogic.org/summer-school.html): five internationally recognised researchers will each teach a mini-course consisting of four lectures. Confirmed lecturers and topics are: - Bahareh Afshari (Gothenburg U): Proof Theory and Structural Aspects of Logical Systems in Formal Verification; - Gaia Belardinelli (Stanford U): Formal Models of Attention - Vaishak Belle (Edinburgh U): Logic meets Learning: Explanations and LLM-based symbolic executors - Patrick Blackburn (Roskilde U): Worlds, Times and Things - Balder ten Cate Logic (Amsterdam U): Data Examples and Learning