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/2017/newsitem/8684/3-J uly-2017-1st-International-Workshop-on-Practical-A spects-of-Answer-Set-Programming-PAoASP-2017-Espoo -Finland DTSTAMP:20170216T152719 SUMMARY:1st International Workshop on Practical As pects of Answer Set Programming (PAoASP 2017), Esp oo, Finland DTSTART;VALUE=DATE:20170703 DTEND;VALUE=DATE:20170703 LOCATION:Espoo, Finland DESCRIPTION:Answer Set Programming (ASP) is a decl arative programming paradigm with close relationsh ips to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate an d advance the state of the art in ASP solving tech nology. The International Workshop on Practical As pects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and appli cations in ASP and neighboring fields. To this end , it aims to bring together researchers and practi tioners of declarative programming with dedicated focus on, but not limited to, recent methods and t rends emerging from the ASP Competition. The 1st International Workshop on Practical Aspects of Ans wer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Co mpetition (ASPCOMP 2017) and affiliated with the 1 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017). We solic it the submission of papers on systems, tools, and applications of declarative programming methods, developed in the area of ASP and neighboring field s. In particular, we encourage submissions present ing recent developments, including work in progres s. Topics of interest include, but are not limite d to: Algorithm Selection and Configuration, Appli cations and Benchmarks, Empirical Evaluation, Grou nding and Solving, Implementation Techniques, Para llel Systems, Portfolio Systems, Reasoning Tasks, Theory Solving and Translation Methods. X-ALT-DESC;FMTTYPE=text/html:
Answer Se t Programming (ASP) is a declarative programming p aradigm with close relationships to neighboring fi elds such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state o f the art in ASP solving technology. The Internati onal Workshop on Practical Aspects of Answer Set P rogramming (PAoASP) addresses current developments of systems, tools, and applications in ASP and ne ighboring fields. To this end, it aims to bring to gether researchers and practitioners of declarativ e programming with dedicated focus on, but not lim ited to, recent methods and trends emerging from t he ASP Competition.
\n\nThe 1st Internatio nal Workshop on Practical Aspects of Answer Set Pr ogramming (PAoASP 2017) is organized in conjunctio n with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th Intern ational Conference on Logic Programming and Nonmon otonic Reasoning (LPNMR 2017).
Topics of interest includ e, but are not limited to: Algorithm Selection and Configuration, Applications and Benchmarks, Empir ical Evaluation, Grounding and Solving, Implementa tion Techniques, Parallel Systems, Portfolio Syste ms, Reasoning Tasks, Theory Solving and Translatio n Methods.