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:<div>\n  <p>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.</p>\n
 </div><div>\n  <p>Since the aim of the workshop is
  to foster exchange and discussions on trends, ext
 ensions, applications and semantics of logic progr
 amming, we invite presentations of possibly alread
 y published as well as ongoing work. Submissions s
 hould be abstracts of at most two pages in EPTCS s
 tyle and will be only be published in the informal
  pre-proceedings and on the website of the worksho
 p. Post-proceedings volume may be solicited by the
  PC, based on the quality of contributions.</p>\n<
 /div>
URL:https://www.coalg.org/tease-lp/
END:VEVENT
END:VCALENDAR