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/11467/25 -April-2020-Workshop-on-Trends-Extensions-Applicat ions-and-Semantics-of-Logic-Programming-TEASE-LP-2 020-Dublin-Ireland DTSTAMP:20200112T171620 SUMMARY:Workshop on Trends, Extensions, Applicatio ns and Semantics of Logic Programming (TEASE-LP 20 20), Dublin, Ireland DTSTART;VALUE=DATE:20200425 DTEND;VALUE=DATE:20200425 LOCATION:Dublin, Ireland DESCRIPTION:Logic programming is a framework for e xpressing programs, propositions and relations as Horn clause theories, with the purpose of performi ng automatic inference in these theories. The aim of this workshop is to bring together researchers that work on extensions of logic programming and i nference methods, and to foster an exchange of met hods and applications that have emerged in differe nt communities. Since the aim of the workshop is to foster exchange and discussions on trends, exte nsions, applications and semantics of logic progra mming, we invite presentations of possibly already published as well as ongoing work. Submissions sh ould be abstracts of at most two pages in EPTCS st yle and will be only be published in the informal pre-proceedings and on the website of the workshop . Post-proceedings volume may be solicited by the PC, based on the quality of contributions. X-ALT-DESC;FMTTYPE=text/html:
Logic pro gramming is a framework for expressing programs, p ropositions and relations as Horn clause theories, with the purpose of performing automatic inferenc e in these theories. The aim of this workshop is t o bring together researchers that work on extensio ns of logic programming and inference methods, and to foster an exchange of methods and applications that have emerged in different communities.
div>Since the aim of the workshop is t o foster exchange and discussions on trends, exten sions, applications and semantics of logic program ming, we invite presentations of possibly already published as well as ongoing work. Submissions sho uld be abstracts of at most two pages in EPTCS sty le and will be only be published in the informal p re-proceedings and on the website of the workshop. Post-proceedings volume may be solicited by the P C, based on the quality of contributions.