Op dit symposium zullen een aantal interessante sprekers een lezing geven over hoe zij met hun onderzoek logica in de praktijk gebruiken. Zo zal prof. dr. Jan van Eijck iets komen vertellen over `social software', zal prof. dr. mr. Henry Prakken wat uit de doeken doen over zijn onderzoek met logica en recht waarbij je kunt denken aan redeneren met bewijs, en zal dr. Olivier Roy laten zien hoe wij logica ook prima in onze democratische samenleving kunnen gebruiken. Dit alles wordt ingeleid door 'Logica voor AI'-docent dr. ir. Jan Broersen.