Challenge Workshop 2016/2: Mathematical MSO for Air Traffic Management