Social Choice and Artificial Intelligence, 16 July