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/2011/newsitem/4139/15- 16-December-2011-COCONAT-Computing-Natural-Reasoni ng-Tilburg-The-Netherlands DTSTAMP:20111020T000000 SUMMARY:COCONAT: Computing Natural Reasoning, Tilb urg, The Netherlands DTSTART;VALUE=DATE:20111215 DTEND;VALUE=DATE:20111216 LOCATION:Tilburg, The Netherlands DESCRIPTION:Logic was originally meant to systemat ize and analyze arguments in natural language. But in the 20th century the main developments in logi c focused on mathematics and its foundations. Rece ntly, a number of researchers have focused on logi cal systems tuned to natural language semantics to reconnect with the older tradition. The logical a nd conceptual underpinnings of some of these syste ms remains unclear, although some recent work has begun to address formal foundations. The aim of this conference is to contribute to this direction in semantics and to discuss logics, especially pr oof systems, well-suited for natural language sema ntics and to explore comparisons between these sys tems. We also welcome input from the psychology of reasoning and are interested in computer implemen tations of natural reasoning systems. For more i nformation, see http://naturalreasoning.wordpress. com/ We solicit talks on relevant topics. There w ill also be poster sessions, preceded by plenary ' flash' presentations of posters. Talk/poster submi ssion deadline: November 1, 2011 X-ALT-DESC;FMTTYPE=text/html:
Logic was originally meant to systematize and analyze\n arguments in natural language. But in the 20th century the\n main developments in lo gic focused on mathematics and its\n founda tions. Recently, a number of researchers have foc used\n on logical systems tuned to natural language semantics to\n reconnect with the older tradition. The logical and\n conceptu al underpinnings of some of these systems remains\ n unclear, although some recent work has be gun to address\n formal foundations.\n
\nThe aim of this conference is to c ontribute to this\n direction in semantics and to discuss logics, especially\n proof s ystems, well-suited for natural language semantics \n and to explore comparisons between these systems. We also\n welcome input from the psychology of reasoning and are\n intereste d in computer implementations of natural reasoning \n systems.\n
\n \n \nFor more information, see\n http://naturalreasoning.wordpress.com/\n
We solicit talks on relevant topics. There will also be\n post er sessions, preceded by plenary 'flash' presentat ions\n of posters.\n Talk/poster sub mission deadline: November 1, 2011\n
\n