Computational Methods in Philosophy, 11 April