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/2014/newsitem/5075/20-
 23-February-2014-Functions-proofs-constructions-Tu
 ebingen-Germany
DTSTAMP:20140127T000000
SUMMARY:Functions, proofs, constructions, Tuebinge
 n, Germany
DTSTART;VALUE=DATE:20140220
DTEND;VALUE=DATE:20140223
LOCATION:Tuebingen, Germany
DESCRIPTION:The apparent dichotomy between proofs 
 as constituted by inferential steps, and proofs as
  abstract 'unstructured' entities reflects the dua
 lity of the notion of function itself. Should func
 tions be viewed as procedures - piecewise constitu
 ted by instructions - or are functions sorts of bl
 ack boxes to be identified by what they do - givin
 g a value for each input - rather than by how they
  do it? Are functions primarily given as the denot
 ation of linguistic predicates (in a Fregean manne
 r), or are they rather an already given domain whi
 ch we disclose through language?   For more inform
 ation and a full programme please visit http://ls.
 informatik.uni-tuebingen.de/FPC/.   We invite phil
 osophers, historians as well as mathematician and 
 computer scientists willing to take part to the wo
 rkshop to submit the extended abstract (max 2 page
 s) of a talk suitable for a 45 minutes to 1 hour p
 resentation. Submission Deadline: September 1, 201
 3.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The a
 pparent dichotomy between proofs as constituted by
  inferential\n        steps, and proofs as abstrac
 t 'unstructured' entities reflects the\n        du
 ality of the notion of function itself. Should fun
 ctions be viewed\n        as procedures - piecewis
 e constituted by instructions - or are functions\n
         sorts of black boxes to be identified by w
 hat they do - giving a value\n        for each inp
 ut - rather than by how they do it? Are functions\
 n        primarily given as the denotation of ling
 uistic predicates (in a\n        Fregean manner), 
 or are they rather an already given domain which w
 e\n        disclose through language?\n      </p>\
 n    \n      \n      <p>For more information and a
  full programme please visit\n        <a target="_
 blank" href="http://ls.informatik.uni-tuebingen.de
 /FPC/">http://ls.informatik.uni-tuebingen.de/FPC/<
 /a>.\n      </p>\n    </div><div>\n      <p>We inv
 ite philosophers, historians as well as mathematic
 ian and\n        computer scientists willing to ta
 ke part to the workshop to submit the\n        ext
 ended abstract\n        (max 2 pages) of a talk su
 itable for a 45 minutes to 1 hour presentation. Su
 bmission Deadline: September 1, 2013.<br/>\n      
 </p>\n      </div>
URL:/NewsandEvents/Archives/2014/newsitem/5075/20-
 23-February-2014-Functions-proofs-constructions-Tu
 ebingen-Germany
END:VEVENT
END:VCALENDAR