<html><head><style type="text/css"><!-- DIV {margin:0px;} --></style></head><body><div style="font-family:bookman old style,new york,times,serif;font-size:10pt">Dear colleagues <br><br><br>Please find enclosed the CfP for a conference on practices in logic and mathematics that may include some possibilities for papers on computing.<br>Best regards<br><br><br>Sandra Mols<br><br><div> </div>**************<br><br><br><br><div><br>"I do not like experts [...] They are our goalers. [...] Experts are addicts. They solve nothing! They serve whatever system hires them. They perpetuate it. When we are tortured, we shall be tortured by experts. When we are hanged, experts will hang us. Did you not read what I wrote? When the world is destroyed, it will be destroyed not by its madmen but by the sanity of its experts and the superior ignorance of its bureaucrats." Yakov Saveleyev, The Russia House by John le Carré, 1990<div><br></div><div style="font-family:
bookman old style,new york,times,serif; font-size: 10pt;"><br><div style="font-family: tahoma,new york,times,serif; font-size: 10pt;"><font face="Tahoma" size="2">----- Forwarded Message ----<br><b><span style="font-weight: bold;">From:</span></b> Sandra MOLS <Sandra.Mols@univ-nancy2.fr><br><b><span style="font-weight: bold;">To:</span></b> "sandra.mols@univ-nancy2.fr" <sandra.mols@univ-nancy2.fr><br><b><span style="font-weight: bold;">Sent:</span></b> Mon, 23 November, 2009 10:52:10<br><b><span style="font-weight: bold;">Subject:</span></b> CfP: FROM PRACTICE TO RESULTS IN LOGIC AND MATHEMATICS, Nancy, France, 21-23 June 2010<br></font><br><br>Apologies for crossposting<br>Please reply to the relevant persons below.<br><br><br><br>CALL FOR PAPERS:<br>FROM PRACTICE TO RESULTS IN LOGIC AND MATHEMATICS<br>UNIVERSITY OF NANCY, FRANCE, 21-23 JUNE, 2010<br><br><br>The PratiScienS group invites the submission of research papers for a conference on
the role of practices in the establishment of results in logic and mathematics.<br><br>This conference 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.<br><br><br>Invited Speakers include Jean-Paul Van Bendegem, Jessica Carter, Karine Chemla, Jeremy Gray, Brendan Larvor, Danielle Macbeth, Catarina Novaes and Dirk Schlimm.<br>The Scientific Committee includes Gerhard Heinzmann, Paolo Mancosu, Philippe Nabonnand, Andrew
Warwick and the PratiSciens group.<br><br><br>This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy University, France (<a href="http://poincare.univ-nancy2.fr/Activites/?contentId=6163&languageId=1" target="_blank">http://poincare.univ-nancy2.fr/Activites/?contentId=6163&languageId=1</a>). The group explores the issue of practices in their relations with the construction and validation of scientific knowledge. Consequently, this conference is also aimed at generating discussions tackling with the issue of practices in logic and mathematics, in the ways suggested and framed by the project. Thus, the Scientific Committee will particularly appreciate proposals that explore the epistemological impact of practices upon mathematics and logic research in relation to PratiScienS' main research topics, which include the possibility of a "Wimsatt-like" concept of robustness
for mathematics and logic (<a href="http://poincare.univ-nancy2.fr/Activites/?contentId=4366&languageId=1" target="_blank">http://poincare.univ-nancy2.fr/Activites/?contentId=4366&languageId=1</a>), the role of tacit aspects in practices in logic and mathematics and, lastly, the contingency vs. inevitability issue with scientific results in the case of mathematics and logic (<a href="http://poincare.univ-nancy2.fr/Activites/?contentId=6172" target="_blank">http://poincare.univ-nancy2.fr/Activites/?contentId=6172</a>).<br><br><br>Details on the conference theme can be found at <a href="http://poincare.univ-nancy2.fr/digitalAssets/66770_Argumentaire_FPTP2010.pdf" target="_blank">http://poincare.univ-nancy2.fr/digitalAssets/66770_Argumentaire_FPTP2010.pdf</a>. Submissions of proposals should include a long abstract (approximately 1000 words-long) of the paper. Deadline for submission by e-mail is January 15th, 2010, with acceptance notified by
March 15th, 2010. Abstracts should be sent to: sandra.mols @ univ-nancy2.fr (remove spaces)<br><br>Some financial support is available, and it may be possible to apply for a travel grant.<br><br><br><br>The PratiScienS group is supported by: The Archives Henri Poincaré (Université de Nancy 2, CNRS UMR 7117), the Agence Nationale de la Recherche (ANR), the Région Lorraine, the Maison des Sciences de l'Homme Lorraine (USR CNRS 3261), and Nancy-Université.<br><br><br>------------<br>Sandra MOLS<br>Université Nancy 2<br>Courriel : <a ymailto="mailto:Sandra.Mols@univ-nancy2.fr" href="mailto:Sandra.Mols@univ-nancy2.fr">Sandra.Mols@univ-nancy2.fr</a><br><br></div></div></div>
<!-- cg28.c41.mail.ird.yahoo.com compressed/chunked Sat Nov 21 02:23:13 PST 2009 -->
</div><br>
</body></html>