Nils and Wojtek give a course on "Decision Problems and Decision Procedures for Strategic Logics" at the European Summer School in Logic, Language and Information (ESSLLI).