Fourth World Congress on Paraconsistency, 13–18 July