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/2010/newsitem/3287/10- 15-October-2010-Logic-for-Programming-Artificial-I ntelligence-and-Reasoning-LPAR-17-Yogyakarta-Indon esia DTSTAMP:20100318T000000 SUMMARY:Logic for Programming, Artificial Intellig ence and Reasoning (LPAR-17), Yogyakarta, Indonesi a DTSTART;VALUE=DATE:20101010 DTEND;VALUE=DATE:20101015 LOCATION:Yogyakarta, Indonesia 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 17th LPAR will be held in Yogyakarta, Indones ia. For more information, see http://www.computa tional-logic.org/lpar-17/ Papers describing new r esults in the fields of computational logic and ap plications are welcome. Also welcome are more expl oratory presentations, which may examine open ques tions and raise fundamental concerns about existin g theories and practices, as well as tool papers t hat describe implemented systems. Deadline for sub missions: 1 June 2010. In keeping with the tradi tion of LPAR, researchers and practioners are enco uraged to submit short papers reporting on interes ting work in progress or providing system descript ions. They need not be original. Submission deadli ne: 30 August 2010. X-ALT-DESC;FMTTYPE=text/html:
The s eries of International Conferences on Logic for\n Programming, Artificial Intelligence and Reas oning (LPAR) is a\n forum where, year after y ear, some of the most renowned\n researchers in the areas of logic, automated reasoning,\n computational logic, programming languages and th eir\n applications come to present cutting-ed ge results, to discuss\n advances in these fi elds, and to exchange ideas in a\n scientific ally emerging part of the world. The 17th LPAR wil l be\n held in Yogyakarta, Indonesia.\n
\n \n \nFor more information, see\n http://www.compu tational-logic.org/lpar-17/\n
Papers describing new results in th e fields of computational\n logic and applica tions are welcome. Also welcome are more\n e xploratory presentations, which may examine open q uestions and\n raise fundamental concerns abo ut existing theories and\n practices, as well as tool papers that describe implemented\n s ystems. Deadline for submissions: 1 June 2010.\n
\nIn keeping with the tradition of LPAR, researchers and practioners are\n encouraged to submit short papers reporting on int eresting work in progress or\n providing sy stem descriptions. They need not be original. Subm ission deadline: 30 August 2010.\n
\n \n URL:/NewsandEvents/Archives/2010/newsitem/3287/10- 15-October-2010-Logic-for-Programming-Artificial-I ntelligence-and-Reasoning-LPAR-17-Yogyakarta-Indon esia END:VEVENT END:VCALENDAR