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/2008/newsitem/2444/18- 22-August-2008-Effective-Mathematics-of-the-Uncoun table-EMU-2008-New-York-U-S-A- DTSTAMP:20080803T000000 SUMMARY:Effective Mathematics of the Uncountable ( EMU 2008), New York, U.S.A. DTSTART;VALUE=DATE:20080818 DTEND;VALUE=DATE:20080822 LOCATION:New York, U.S.A. DESCRIPTION:Although classical computable model th eory is most naturally concerned with countable do mains, several methods---some old, some new---exte nd its basic concepts to uncountable structures. T he purpose of this workshop is to study these vari ous extensions of effectivity to the uncountable, bringing together experts in such topics as sigma- definable structures, alpha-recursion theory, ordi nal computability, Blum-Shub-Smale machines, infin ite time Turing machines and locally computable st ructures, among others. The workshop will both pro vide tutorial-type introductions to each approach and aim ultimately at the exploration of their con nections. For more information, see http://nylog ic.org/EMU X-ALT-DESC;FMTTYPE=text/html:\n
Although c lassical computable model theory is most naturally \n concerned with countable domains, several methods---some old,\n some new---extend its b asic concepts to uncountable\n structures. Th e purpose of this workshop is to study these\n various extensions of effectivity to the uncount able, bringing\n together experts in such top ics as sigma-definable structures,\n alpha-re cursion theory, ordinal computability, Blum-Shub-S male\n machines, infinite time Turing machine s and locally computable\n structures, among others. The workshop will both provide\n tuto rial-type introductions to each approach and aim u ltimately\n at the exploration of their conne ctions.\n
\n \nFor more infor mation, see\n http://nylogic.org/EMU\n
URL:/NewsandEvents/Archives/2008/newsitem/2444/18- 22-August-2008-Effective-Mathematics-of-the-Uncoun table-EMU-2008-New-York-U-S-A- END:VEVENT END:VCALENDAR