24 September 2026, Master of Logic defense, Dennis Lindberg

Candidate: Dennis Lindberg

Title: Solving Logic Puzzles with Answer Set Programming and Large Language Models

Date: Thursday 24 September 2026

Time: 09:00

Location: F1.15, Science Park 107, Amsterdam

Supervisor: Arie Soeteman and Ronald de Haan