On October 3 we will have an exclusive half-day workshop at DTU with talks by 4 prominent guests: Christian Becker-Asano, Gerhard Lakemeyer, Benedikt Löwe and Bernhard Nebel. They will give talks on AI and logic, with particular focus on epistemic planning. Epistemic planning is a very new research area concerned with bringing automated planning, a classical and still central area of AI, together with dynamic logics of interaction, a recent and highly active area of logic.
To see the schedule of the workshop, the slides and abstracts of the talks, and how to get to the venue (DTU), please click on the links in the menu on the left.