Third Edition of the World Logic Prizes Contest