4-27 June 2013, PhilMath Intersem 4, Paris, France

PhilMath Intersem is a cooperation between the University of Notre Dame, the University of Paris 7-Diderot, the University of Lorraine, the École normale supérieure and the IHPST (Paris 1). The theme of this year's seminar is "Indirect Proof".

For more information, see http://mdetlefsen.nd.edu/philmath-intersem/philmath-intersem-2013/