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/11561/18 ---24-September-2020-36th-International-Conference -on-Logic-Programming-ICLP-2020-Virtual DTSTAMP:20200511T141339 SUMMARY:36th International Conference on Logic Pro gramming (ICLP 2020), Virtual DTSTART;VALUE=DATE:20200918 DTEND;VALUE=DATE:20200924 LOCATION:Virtual DESCRIPTION:Since the first conference held in Mar seille in 1982, the International Conference on Lo gic Programming (ICLP 2020) has been the premier i nternational event for presenting research in logi c programming. Contributions are solicited in all areas of logic programming, including but not res tricted to Foundations, Declarative Programming, R elated Paradigms and Synergies, Implementation and Applications. Besides the main track, ICLP 2020 w ill host an Applications Track, a Sister Conferenc es and Journal Presentation Track, a Special Sessi on on Women in Logic Programming, and a Research C hallenges in Logic Programming Track. In addition to the presentations of accepted papers, the techn ical program will include invited talks, advanced tutorials, the doctoral consortium, and several wo rkshops. A school on logic programming will be hel d before the conference. Three kinds of regular p apers will be accepted: technical papers for techn ically sound, innovative ideas that can advance th e state of logic programming, application papers t hat impact interesting application domains, and sy stem and tool papers which emphasize novelty, prac ticality, usability, and availability of the syste ms and tools described. Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. All submis sions must be written in English and describe orig inal, previously unpublished research, and must no t simultaneously be submitted for publication else where. X-ALT-DESC;FMTTYPE=text/html:
Since the first conference held in Marseille in 1982, the I nternational Conference on Logic Programming (ICLP 2020) has been the premier international event fo r presenting research in logic programming.
\n\ nContributions are solicited in all areas of logic programming, including but not restricted to Foundations, Declarative Programming, Related Par adigms and Synergies, Implementation and Applicati ons. Besides the main track, ICLP 2020 will host a n Applications Track, a Sister Conferences and Jou rnal Presentation Track, a Special Session on Wome n in Logic Programming, and a Research Challenges in Logic Programming Track. In addition to the pre sentations of accepted papers, the technical progr am will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. A school on logic programming will be held before t he conference.
Three kinds of regular papers will be accepted: technical papers for technically sound, innovative ideas that can advance the state of logic programming, applicatio n papers that impact interesting application domai ns, and system and tool papers which emphasize nov elty, practicality, usability, and availability of the systems and tools described. Regular papers m ust be in the condensed TPLP format (template here ) and not exceed 14 pages including bibliography. All submissions must be written in English and des cribe original, previously unpublished research, a nd must not simultaneously be submitted for public ation elsewhere.