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/8772/26- --29-September-2017-32nd-Italian-Conference-on-Com putational-Logic-CILC-2017-Naples-Italy DTSTAMP:20170316T155521 SUMMARY:32nd Italian Conference on Computational L ogic (CILC 2017), Naples, Italy DTSTART;VALUE=DATE:20170926 DTEND;VALUE=DATE:20170929 LOCATION:Naples, Italy DESCRIPTION:CILC (Italian Conference on Computatio nal Logic) is the annual conference organized by G ULP (Group of researchers and Users of Logic Progr amming). Since the first event of the series, whic h took place in Genoa in 1986, the annual GULP con ference represents the main opportunity for users, researchers and developers working in the field o f computational logic to meet and exchange ideas. Over the years the conference broadened its horizo ns from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligen ce and deductive databases. The conference will f eature presentations of refereed contributions, in cluding the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other confe rences or journals, and short papers, which are pa rticularly suitable for presenting work in progres s, software prototypes, extended abstracts of doct oral theses, or general overviews of research proj ects. In particular, we invite submissions of sys tem or prototype software descriptions which use t echniques or tools of computational logic, or whic h themselves aid the development of applications b ased on computational logic. Systems of both resea rch and industrial character are welcome. X-ALT-DESC;FMTTYPE=text/html:
CILC (Ita lian Conference on Computational Logic) is the ann ual conference organized by GULP (Group of researc hers and Users of Logic Programming). Since the fi rst event of the series, which took place in Genoa in 1986, the annual GULP conference represents th e main opportunity for users, researchers and deve lopers working in the field of computational logic to meet and exchange ideas. Over the years the co nference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive data bases.
The conference will fe ature presentations of refereed contributions, inc luding the demonstration of software prototypes, c oncerning all aspects of computational logic. The conference invites two types of submissions: full papers, possibly already submitted to other confer ences or journals, and short papers, which are par ticularly suitable for presenting work in progress , software prototypes, extended abstracts of docto ral theses, or general overviews of research proje cts.
\n\nIn particular, we invite submissi ons of system or prototype software descriptions w hich use techniques or tools of computational logi c, or which themselves aid the development of appl ications based on computational logic. Systems of both research and industrial character are welcome .