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/2022/newsitem/13562/31
 -July-2022-15th-Workshop-on-Answer-Set-Programming
 -Other-Computing-Paradigms-ASPOCP-2022-Haifa-Israe
 l
DTSTAMP:20220427T162221
SUMMARY:15th Workshop on Answer Set Programming & 
 Other Computing Paradigms (ASPOCP 2022), Haifa, Is
 rael
DTSTART;VALUE=DATE:20220731
DTEND;VALUE=DATE:20220731
LOCATION:Haifa, Israel
DESCRIPTION:Since its introduction in the late 198
 0s, Answer Set Programming (ASP) has been widely a
 pplied to various knowledge-intensive tasks and co
 mbinatorial search problems. The relationship of A
 SP to other computing paradigms, such as constrain
 t satisfaction, quantified Boolean formulas (QBF),
  Constraint Logic Programming (CLP), first-order l
 ogic (FOL), and FO(ID) is the subject of active re
 search. Furthermore, the practical applications of
  ASP also foster work on multi-paradigm problem-so
 lving, and in particular language and solver integ
 ration. A large body of general results regarding 
 ASP is available and several efficient ASP solvers
  have been implemented. However, there are still s
 ignificant challenges in applying ASP to real life
  applications, and more interest in relating ASP t
 o other computing paradigms is emerging. This work
 shop, affiliated with FLOC 2022, will provide oppo
 rtunities for researchers to identify these challe
 nges and to exchange ideas for overcoming them.   
 The workshop invites two types of submissions: - o
 riginal papers describing original research. - non
 -original paper already published on formal procee
 dings or journals. Original papers must not exceed
  13 pages (excluding references) and must be forma
 tted using the 1-column CEURART style. Authors are
  requested to clearly specify whether their submis
 sion is original or not with a footnote on the fir
 st page. Authors are invited to submit their manus
 cripts in PDF via the EasyChair system.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Since its
  introduction in the late 1980s, Answer Set Progra
 mming (ASP) has been widely applied to various kno
 wledge-intensive tasks and combinatorial search pr
 oblems. The relationship of ASP to other computing
  paradigms, such as constraint satisfaction, quant
 ified Boolean formulas (QBF), Constraint Logic Pro
 gramming (CLP), first-order logic (FOL), and FO(ID
 ) is the subject of active research. Furthermore, 
 the practical applications of ASP also foster work
  on multi-paradigm problem-solving, and in particu
 lar language and solver integration. A large body 
 of general results regarding ASP is available and 
 several efficient ASP solvers have been implemente
 d. However, there are still significant challenges
  in applying ASP to real life applications, and mo
 re interest in relating ASP to other computing par
 adigms is emerging. This workshop,&nbsp;affiliated
  with FLOC 2022, will provide opportunities for re
 searchers to identify these challenges and to exch
 ange ideas for overcoming them.</p>\n</div><div>\n
   <p>&nbsp;The workshop invites two types of submi
 ssions: - original papers describing original rese
 arch. - non-original paper already published on fo
 rmal proceedings or journals. Original papers must
  not exceed 13 pages (excluding references) and mu
 st be formatted using the 1-column CEURART style. 
 Authors are requested to clearly specify whether t
 heir submission is original or not with a footnote
  on the first page. Authors are invited to submit 
 their manuscripts in PDF via the EasyChair system.
 </p>\n</div>
URL:https://sites.google.com/view/aspocp2022
CONTACT:zangari at mat.unical.it
END:VEVENT
END:VCALENDAR
