[logic-ml] Call for papers, 2nd Conf History & Philosophy of Computing, ENS Paris, oct 2013