“...International Conference on Logic for Programming and Automated Reasoning Reunion Island, Francie)...”