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/2020/newsitem/11439/22
 ---27-May-2020-23rd-International-Conference-on-Lo
 gic-for-Programming-Artificial-Intelligence-and-Re
 asoning-LPAR-23-Cancelled
DTSTAMP:20200220T162900
SUMMARY:23rd International Conference on Logic for
  Programming, Artificial Intelligence and Reasonin
 g (LPAR-23), Cancelled
DTSTART;VALUE=DATE:20200522
DTEND;VALUE=DATE:20200527
LOCATION:Alicante, Spain
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 organizers, together with the LPAR steering 
 committee, have decided to cancel LPAR-23 in Alica
 nte, in May 2020. We will not organize LPAR-23 in 
 May 2020 as an online conference either. Rather, w
 e will "merge" LPAR-23 with LPAR-24, offering the 
 authors of accepted LPAR-23 papers the possibility
 , if they wish, to present their work at LPAR-24 i
 n Tobago, January 2021. Details on LPAR-24 will be
  announced in summer/fall 2020.  New results in th
 e fields of computational logic and applications a
 re welcome. Also welcome are more exploratory pres
 entations, which may examine open questions and ra
 ise fundamental concerns about existing theories a
 nd practices.  The following paper categories are 
 welcome:   - Regular papers describing solid new r
 esearch results.   - Experimental and tool papers 
 describing implementations of systems, report expe
 riments with implemented systems, or compare imple
 mented systems.  All papers must be original and n
 ot simultaneously submitted to another journal or 
 conference. Deadline: 15 February 2020.  Additiona
 lly workshop and tutorial proposals for LPAR-23 ar
 e solicited. These events will take place on May 2
 2 2020, before the main conference. The deadline f
 or submitting workshop/tutorial proposals: March 1
 , 2020.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>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.</p>\n\n  <p>The orga
 nizers, together with the LPAR steering committee,
  have decided to cancel LPAR-23 in Alicante,&nbsp;
 in May 2020. We will not organize LPAR-23 in May 2
 020 as an online conference either. Rather, we wil
 l &quot;merge&quot; LPAR-23 with LPAR-24, offering
  the authors of accepted LPAR-23 papers the possib
 ility, if they wish, to present their work at LPAR
 -24 in Tobago, January 2021. Details on LPAR-24 wi
 ll be announced in summer/fall 2020.</p>\n</div><d
 iv>\n  <p>New results in the fields of computation
 al logic and applications are welcome. Also welcom
 e are more exploratory presentations, which may ex
 amine open questions and raise fundamental concern
 s about existing theories and practices.</p>\n\n  
 <p>The following paper categories are welcome:<br>
 \n  &nbsp;- Regular papers describing solid new re
 search results.<br>\n  &nbsp;- Experimental and to
 ol papers describing implementations of systems, r
 eport experiments with implemented systems, or com
 pare implemented systems.<br>\n  All papers must b
 e original and not simultaneously submitted to ano
 ther journal or conference. Deadline: 15 February 
 2020.</p>\n\n  <p>Additionally workshop and tutori
 al proposals for LPAR-23 are solicited. These even
 ts will take place on May 22 2020, before the main
  conference. The deadline for submitting workshop/
 tutorial proposals: March 1, 2020.</p>\n</div>
URL:https://easychair.org/smart-program/LPAR23/
END:VEVENT
END:VCALENDAR