BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2010/newsitem/3188/21- 23-June-2010-From-Practice-to-Results-in-Logic-and -Mathematics-Nancy-France DTSTAMP:20100114T000000 SUMMARY:"From Practice to Results in Logic and Mat hematics", Nancy, France DTSTART;VALUE=DATE:20100621 DTEND;VALUE=DATE:20100623 LOCATION:Nancy, France DESCRIPTION:This conference is part of a series of conferences organised by the PratiScienS research group at the Archives Henri Poincaré, Nancy Unive rsity, France. It is aimed at discussing and explo ring the practice of mathematics and logic from an epistemological standpoint. That is, we look for papers on how the concrete practices of mathematic ians and logicians may influence the results of th eir enquiries and, more broadly, the notion of wha t counts as proof. Through this conference, the Pr atiScienS group also aims at promoting a methodolo gical reflection on the difficulties that a critic al analysis of such practices in logic and mathema tics implies and on issues related to the developm ent of the appropriate exploratory conceptual tool s. For more information, see http://poincare.uni v-nancy2.fr/encours/Activites?contentId=6803 The PratiScienS group invites the submission of resear ch papers. Deadline for submission by e-mail is Ja nuary 15th, 2010. X-ALT-DESC;FMTTYPE=text/html:
This conference is part of a series of conferences orga nised by the\n PratiScienS research group a t the Archives Henri Poincaré, Nancy\n University, France.\n It is aimed at discussing and exploring the practice of\n mathematics and logic from an epistemological sta ndpoint. That is, we\n look for papers on how the concrete practices of mathematicians a nd\n logicians may influence the results of their enquiries and, more\n broadly, the n otion of what counts as proof. Through this confer ence,\n the PratiScienS group also aims at promoting a methodological\n reflection on the difficulties that a critical analysis of such\n practices in logic and mathemati cs implies and on issues related to the\n d evelopment of the appropriate exploratory conceptu al tools.\n
\n \n \nFor more information, see\n http://poincare.univ-nancy2.f r/encours/Activites?contentId=6803\n
The PratiScienS group invite s the submission of research papers.\n Dead line for submission by e-mail is January 15th, 201 0.\n
\n