21-23 June 2010, "From Practice to Results in Logic and Mathematics", Nancy, France

This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France. It is aimed at discussing and exploring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematicians and logicians may influence the results of their enquiries and, more broadly, the notion of what counts as proof. Through this conference, the PratiScienS group also aims at promoting a methodological reflection on the difficulties that a critical analysis of such practices in logic and mathematics implies and on issues related to the development of the appropriate exploratory conceptual tools.

For more information, see http://poincare.univ-nancy2.fr/encours/Activites?contentId=6803