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:<div>\n      <p>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     
  </p>\n      <p>The 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      </p>\n    \n      \n    
   <p>For more information, see\n        <a target=
 "_blank" href="http://naturalreasoning.wordpress.c
 om/">http://naturalreasoning.wordpress.com/</a>\n 
      </p>\n    </div><div>\n      <p>We solicit ta
 lks on relevant topics. There will also be\n      
   poster sessions, preceded by plenary 'flash' pre
 sentations\n        of posters.\n        Talk/post
 er submission deadline:  November 1, 2011\n      <
 /p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/4139/15-
 16-December-2011-COCONAT-Computing-Natural-Reasoni
 ng-Tilburg-The-Netherlands
END:VEVENT
END:VCALENDAR