Decisions, Games and Logic, June 15-17