Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 21-23 June 2010
Location: Nancy, France
Deadline: 15 January 2010

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

The PratiScienS group invites the submission of research papers. Deadline for submission by e-mail is January 15th, 2010.

Please note that this newsitem has been archived, and may contain outdated information or links.