Letter of Protest from the International Federation of Computational Logic