Formålet med Nordic Logic Summer School er at tilbyde avanceret træning i logiske og matematiske metoder, der understøtter moderne AI og datavidenskab. Skolen vil udstyre kandidat- og ph.d.-studerende samt AI-praktikere med teoretiske værktøjer, der styrker det metodologiske grundlag for datavidenskab inden for områder som vidensrepræsentation, probabilistisk ræsonnement og automatiseret ræsonnement. Logiske metoder giver et formelt grundlag for datadrevne systemer ved at supplere maskinlæring og statistiske tilgange med formel ræsonnement, fortolkelighed og principiel håndtering af usikkerhed. Ved at være vært for arrangementet på DTU i forbindelse med Scandinavian Logic Society Symposium 2026 vil programmet give danske studerende og forskere adgang til førende internationale eksperter og dermed styrke Danmarks rolle i det nordiske og europæiske forskningslandskab på grundlag af AI og datavidenskab. En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:

• Forstå logiske rammer, der anvendes i modal, temporal, probabilistisk og databaselogik
• Forklar hvordan logik bidrager til datavidenskab inden for vidensrepræsentation, ræsonnement under usikkerhed, forklarlig AI og dataforespørgsler
• Integrer logiske teknikker med datadrevne tilgange til AI og datavidenskab
• Genkende forbindelser mellem symbolske ræsonnementsmetoder og statistiske eller maskinlæringsmetoder i moderne AI-systemer
• Formulere og evaluere logiske repræsentationer af problemer, der opstår inden for kunstig intelligens og datahåndtering
• Læse og kritisk vurdere forskningslitteratur inden for logik, især i forbindelse med AI og datalogi
• Deltag i tværfaglige diskussioner, der forbinder logik, maskinlæring og datalogi
• Analyser og ræsonner om formelle modeller for viden, tid, agenter og usikkerhed

Nordic Logic Summer School (https:/​/​slss2026.compute.dtu.dk/​nordic-logic-school/​) tilbyder et 4-dages program med avancerede kurser i de logiske og matematiske fundamenter (med fokus på AI og datalogi). Arrangementet finder sted på DTU's Skylab - et velkendt innovations- og iværksættercenter for teknologisk udvikling.

Skolen vil følge det format, der med succes blev brugt i tidligere udgaver af skolen (se https:/​/​scandinavianlogic.org/​summer-school.html): fem internationalt anerkendte forskere vil hver undervise i et minikursus bestående af fire forelæsninger. Bekræftede forelæsere og emner er:
- 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 Se: https:/​/​scandinavianlogic.org/​summer-school.html 12. juni, 2026