HomeZJU EventsInvited TalksHans van Ditmarsch: Logic Puzzles