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/2015/newsitem/6796/19-
 20-July-2015-Conference-on-Computing-Natural-Reaso
 ning-CoCoNat-2015-Bloomington-IN-U-S-A-
DTSTAMP:20150315T000000
SUMMARY:Conference on Computing Natural Reasoning 
 (CoCoNat 2015), Bloomington IN, U.S.A.
DTSTART;VALUE=DATE:20150719
DTEND;VALUE=DATE:20150720
LOCATION:Bloomington IN, U.S.A.
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 people invoved in
  computational semantics, psychology of reasoning,
  and computer implementations of natural reasoning
  systems.   For more information, see http://www.i
 ndiana.edu/~iulg/wollic/coconat.htm  We solicit ta
 lks on relevant topics. There will also be poster 
 sessions, preceded by plenary 'flash' presentation
 s of posters. The deadline for submissions of pape
 rs is April 15, 2015, and we expect to notify auth
 ors by May 6.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>Logic
  was originally meant to systematize and analyze a
 rguments in\n        natural language. But in the 
 20th century the main developments in\n        log
 ic focused on mathematics and its foundations. Rec
 ently, a number\n        of researchers have focus
 ed on logical systems tuned to natural\n        la
 nguage semantics to reconnect with the older tradi
 tion. The logical\n        and conceptual underpin
 nings of some of these systems remains unclear,\n 
        although some recent work has begun to addr
 ess formal foundations.\n      </p>\n      <p>The 
 aim of this conference is to contribute to this di
 rection in\n        semantics and to discuss logic
 s, especially proof systems, well-suited\n        
 for natural language semantics and to explore comp
 arisons between\n        these systems. We also we
 lcome input from people invoved in\n        comput
 ational semantics, psychology of reasoning, and co
 mputer\n        implementations of natural reasoni
 ng systems.\n      </p>\n    \n      \n      <p>Fo
 r more information, see\n        <a target="_blank
 " href="http://www.indiana.edu/~iulg/wollic/cocona
 t.htm">http://www.indiana.edu/~iulg/wollic/coconat
 .htm</a>\n      </p>\n    </div><div>\n      <p>We
  solicit talks on relevant topics. There will also
  be poster\n        sessions, preceded by plenary 
 'flash' presentations of posters.\n        The dea
 dline for\n        submissions of papers is April 
 15, 2015, and we expect to notify\n        authors
  by May 6.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/6796/19-
 20-July-2015-Conference-on-Computing-Natural-Reaso
 ning-CoCoNat-2015-Bloomington-IN-U-S-A-
END:VEVENT
END:VCALENDAR