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:<div>\n      <p>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      
 </p>\n    \n      \n      <p>For more information,
  see\n        <a target="_blank" href="http://www.
 computational-logic.org/lpar-17/">http://www.compu
 tational-logic.org/lpar-17/</a>\n      </p>\n    <
 /div><div>\n      <p>Papers describing new results
  in the fields of computational\n      logic and a
 pplications are welcome.  Also welcome are more\n 
      exploratory presentations, which may examine 
 open questions and\n      raise fundamental concer
 ns about existing theories and\n      practices, a
 s well as tool papers that describe implemented\n 
      systems.  Deadline for submissions: 1 June 20
 10.\n      </p>\n      <p>In keeping with the trad
 ition of LPAR, researchers and practioners are\n  
       encouraged to submit short papers reporting 
 on interesting work in progress or\n        provid
 ing system descriptions. They need not be original
 . Submission deadline: 30 August 2010.\n      </p>
 \n      \n      </div>
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