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/2017/newsitem/8402/8-- -12-May-2017-The-21st-International-Conference-on- Logic-for-Programming-Artificial-Intelligence-and- Reasoning-LPAR-21-Maun-Botswana DTSTAMP:20161127T152919 SUMMARY:The 21st International Conference on Logic for Programming, Artificial Intelligence and Reas oning (LPAR-21), Maun, Botswana DTSTART;VALUE=DATE:20170508 DTEND;VALUE=DATE:20170512 LOCATION:Maun, Botswana DESCRIPTION:The series of International Conference s on Logic for Programming, Artificial Intelligenc e and Reasoning (LPAR) is a forum where, year afte r year, some of the most renowned researchers in t he areas of logic, automated reasoning, computatio nal logic, programming languages and their applica tions come to present cutting-edge results, to dis cuss advances in these fields, and to exchange ide as in a scientifically emerging part of the world. The 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017 . New results in the fields of computational l ogic and applications are welcome. Also welcome ar e more exploratory presentations, which may examin e open questions and raise fundamental concerns ab out existing theories and practices. Abstract Subm ission deadline: 1 January 2017. X-ALT-DESC;FMTTYPE=text/html:
The serie s of International Conferences on Logic for Progra mming, Artificial Intelligence and Reasoning (LPAR ) is a forum where, year after year, some of the m ost renowned researchers in the areas of logic, au tomated reasoning, computational logic, programmin g languages and their applications come to present cutting-edge results, to discuss advances in thes e fields, and to exchange ideas in a scientificall y emerging part of the world. The 21st LPAR will b e held will be held in Maun, Botswana, at Cresta R iley's Hotel, 7-12th May 2017.
\n\n< /p>
New results in the fields of computational logic and applications are welcome. Also welcome are more exploratory presentations, w hich may examine open questions and raise fundamen tal concerns about existing theories and practices . Abstract Submission deadline: 1 January 2017.