From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 885FD5D4 for ; Tue, 25 Feb 2020 16:19:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,484,1574118000"; d="scan'208,217";a="437616446" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Feb 2020 17:19:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 60D307F42C; Tue, 25 Feb 2020 17:19:29 +0100 (CET) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4DD4E7F3B1 for ; Tue, 25 Feb 2020 17:15:00 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=lpandolfo@uniss.it; spf=Pass smtp.mailfrom=lpandolfo@uniss.it; spf=None smtp.helo=postmaster@mail-wr1-f68.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AxG5tnBVxwiSrlajEe5n4HSFlXVHV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxOFt8tkgFKBZ4jH8fUM07OQ7/m8Hz1aqsba+Fk5M7VyFDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjeu8UMhYZuNKk9xxjHr3BVZ+?= =?us-ascii?q?lY2GRkKE6ckBr7+sq+5oNo/T5Ku/Im+c5AUKH6cLo9QLdFEjkoMH076dPyuxXb?= =?us-ascii?q?QgSB+nUTUmMNkhpVGAfF9w31Xo3wsiThqOVw3jSRMNDsQrA1XTSi6LprSAPthS?= =?us-ascii?q?waOTM17H3bh8pth69dvRmvpQFww5TMbY+VKvRwY6DTc90USmVOQslcTDZODp+m?= =?us-ascii?q?YoYVE+YMM+JVoo/grFUOtxu+AgysCfvpxDBSm3/2x7c12Pk7Hw7c2gwvAtUOsH?= =?us-ascii?q?DarNXyKawfVuS1zLHSwjXFcvxW3jP96IbPch06vPGMW7NwcdHKyUU1FgPFkkyd?= =?us-ascii?q?pIr4ND2b0eQNtnKU7+tmVe+3lm4nrQBxrSS1yccokIXJh54Vx1bZ/it62IY4Pc?= =?us-ascii?q?O0RFJ/bNK+E5ZdtzuWO5VoTs8/WW1luSU3xqUbtZO/YiQG0okryh/dZvCdcYWE?= =?us-ascii?q?/wjvWPiNLTp+mXlrYqiwhwyo/kil0uD8Vte70FJNriddl9nDrHEN1xjK5smJUP?= =?us-ascii?q?tx416t2TiO2g3Q8O1ELkc0la3UK54l3LE8jIYcsUPGHiPumUX2irGZdlk89+S2?= =?us-ascii?q?9+jqZq/qq5ycOoNulA3yLLkilta+DOk7KgQOWnKU+eW41L3t5035R7BKg+Uykq?= =?us-ascii?q?nBqp/aI9kUpqm9Aw9b1YYu8Au/DzGn0NQDhnkLNlNFeA6fg4jzJ17OOOz4Deu4?= =?us-ascii?q?g1m0jDhk3fXGPrn4DpXJL3jDi6vhcK1m609czQoz1cpQ64hVCrEHOvLzW1X+uM?= =?us-ascii?q?bWDh8jYESIxLPsAdB5k4cfQn6nA6mDMaqUv0XbyPgoJryobZIPsX7FIv4p4Prg?= =?us-ascii?q?ijdtnUcUe6Wu2ZUQQG2+H+99ZUSFNym/yuwdGHsH61JtBNfhj0ePBGYKNiSCGp?= =?us-ascii?q?kk7zR+M7qISILKR4SjmruEhX/pA5tXfXsAC0zeSC61JbXBYO8FbWepGuEkkjEA?= =?us-ascii?q?UuL8GYoo1BXrqxWjjrQ5fqzb/SoXsZ+l399wtbWKyUMCsAdsBsHY6FmjCnlulz?= =?us-ascii?q?pQFSIw3btk501hmA+O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BNBQBER1VeZ0TdVdFlHgELHIF9gSOBB?= =?us-ascii?q?GxVXJMegxKCbZVogRADVAkBAwEKAQEfDgIEAQGGQBwHAQQ1BQ0CEAEBBQEBAQI?= =?us-ascii?q?BAgMEARMLCwsGKYVADII7IoMfCyMBASYSUgFBAQUBLwYCAQEegwQBgnuhMIEEP?= =?us-ascii?q?Yxagn8BAQWCRIMzgTUDBgkBCIEmjCQagUE/gREngjcHgXCDEgESAYYQjV6Sf48?= =?us-ascii?q?9gWpcBIdNjw4GHIJJiBuEFYw1hEcTkxKSSwIKBwYPI4FHgQhxTVIhgmxQGA1Xj?= =?us-ascii?q?UYYIIM7gm6HaEAzAmKOIgEB?= X-IPAS-Result: =?us-ascii?q?A0BNBQBER1VeZ0TdVdFlHgELHIF9gSOBBGxVXJMegxKCbZV?= =?us-ascii?q?ogRADVAkBAwEKAQEfDgIEAQGGQBwHAQQ1BQ0CEAEBBQEBAQIBAgMEARMLCwsGK?= =?us-ascii?q?YVADII7IoMfCyMBASYSUgFBAQUBLwYCAQEegwQBgnuhMIEEPYxagn8BAQWCRIM?= =?us-ascii?q?zgTUDBgkBCIEmjCQagUE/gREngjcHgXCDEgESAYYQjV6Sf489gWpcBIdNjw4GH?= =?us-ascii?q?IJJiBuEFYw1hEcTkxKSSwIKBwYPI4FHgQhxTVIhgmxQGA1XjUYYIIM7gm6HaEA?= =?us-ascii?q?zAmKOIgEB?= X-IronPort-AV: E=Sophos;i="5.70,484,1574118000"; d="scan'208,217";a="340398617" X-MGA-submission: =?us-ascii?q?MDHkFRqwxPj36DEAsoal2AboM9pUmTDg7Dqnoj?= =?us-ascii?q?brm9W0Y2UcHUJudiVPEZWnHp8G7yZtTFsuPOiDARMEPHoz+0yHUwZVoI?= =?us-ascii?q?FqilvizrsteWmUJSCJH+ZCRlBXHl+9aSw7Uh324ftAVSkNLOTMDHJ8ay?= =?us-ascii?q?TKM+sFUEEEcq9E/oghNtkrPA=3D=3D?= Received: from mail-wr1-f68.google.com ([209.85.221.68]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Feb 2020 17:14:59 +0100 Received: by mail-wr1-f68.google.com with SMTP id t3so15393371wru.7 for ; Tue, 25 Feb 2020 08:14:59 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=uniss-it.20150623.gappssmtp.com; s=20150623; h=from:to:subject:message-id:date:user-agent:mime-version :content-language; bh=6IV970NzOz+vlcBYbMGnuHURvqginnA3RIny1v0jDtI=; b=XcpAEdMNdTS4FYe9gOnK0wQBujtxMO6xASRRzCe2VHvNlIWPFtmqDhqEjjqZUFkIwp d/+sr4KaMGKbzR4f/LN7ItNkN0ZcDeXVwUme5yyqbr0oCNPNXxhrVDOctFHckm8MVHSe pRrrThASXd3YS5CLRq0gBIvcOOF9BxpGuvKFamrogWu5faz4VUbkStCpoUCGJl2HpVzJ LwQ/mxsmAx/Gzj8w/bOTGrQ+1asQ/7/Y9DDWOeaN+vReLheWc2OOfeL/wqFyZVAOS3va AL6O+OrzUSQZuS0WIZnmftuwwCW1Q6j0FgzvW/YJj6IPbc4qeV2CYPInHyuGeEYaNQba IdAg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:message-id:date:user-agent :mime-version:content-language; bh=6IV970NzOz+vlcBYbMGnuHURvqginnA3RIny1v0jDtI=; b=Mnfjy+JltaELVTynx+MNqZUSyUqP/LJkDC05CuYP0NVl/Epp1V1OFJUDDunfdF6FvF IEXfS9aJRe4D0Q8kX0+TOFn+hQh6lqXcNitAE3YQMkpx0rJEJrOlhnARaR5kVOtGF+5Q Vo+33rDMpi+XttifThA+9wtHFsLWoI9XSCT3+iIPG5pkc2WbwCCQWG54XniI6qWNoIQ0 R5yfs1RXJGZBnmFAhu2Lz7PknqzzoExuSQhTLJ6XIDlcdhzKzXv3hqiDSLQAxjcpha/J mWO7PH+Yi9gCb9WfIlAIod9/QnnzsfJDG2Zn98wL0V5GHdNQpiqoD7RtM0qO61Kf9K48 oUIQ== X-Gm-Message-State: APjAAAWwA0mNuvKByft20HP8PtUMGFHkP8LyMNIspQo2nVfBxOP9s7H+ 0YDeEZoyEEpyPxIkKNRK1A6MxOBXv7Xxp95qu//duOUuENxQ09w8Vc1XEQyXkvRiafTN6cqm6zs 8Yhej/K7WLT3n X-Google-Smtp-Source: APXvYqyPftwTvCsUoR/ICC7aMTHT1CBY4WxbV2phdz23lY8dv+itHNzHyX5t+Hppmt+A//I1OYmd0Q== X-Received: by 2002:adf:facc:: with SMTP id a12mr45921314wrs.100.1582647298302; Tue, 25 Feb 2020 08:14:58 -0800 (PST) Received: from 172-16-60-116.hosts.uniss.it ([192.167.71.20]) by smtp.gmail.com with ESMTPSA id a13sm14667346wrv.62.2020.02.25.08.14.57 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Tue, 25 Feb 2020 08:14:57 -0800 (PST) From: Laura Pandolfo To: caml-list@inria.fr Message-ID: <409ad1b8-9ca9-ad26-97ad-57da3e1be4f5@uniss.it> Date: Tue, 25 Feb 2020 17:14:56 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:68.0) Gecko/20100101 Thunderbird/68.4.2 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------9E59BC8598394ED7C2C9FF37" Content-Language: it X-Validation-by: lpandolfo@uniss.it Subject: [Caml-list] Call for Workshop Proposal - 36th International Conference on Logic Programming (ICLP2020) Reply-To: Laura Pandolfo X-Loop: caml-list@inria.fr X-Sequence: 18014 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is a multi-part message in MIME format. --------------9E59BC8598394ED7C2C9FF37 Content-Type: text/plain; charset="ISO-8859-15"; format=flowed Content-Transfer-Encoding: quoted-printable *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2020 36th International Conference on Logic Programming September 18 - September 24, 2020 University of Calabria, Rende, Italy https://iclp2020.unical.it ICLP 2020, the 36th International Conference on Logic Programming, will be held at the University of Calabria, Rende, Italy, from September 18 to September 24, 2020. The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience. Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2020 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas. However, any relevant workshop proposal will be considered. The format of the workshop will be decided by the workshop organizers, but ample time should be allowed for general discussion. Workshops can vary in length, but the optimal duration will be half a day or a full day. Workshop Proposal: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Those interested in organizing a workshop at ICLP 2020 are invited to submit a workshop proposal. Proposals should be in English and about two pages in length. They should contain: * The title of the workshop. * A brief technical description of the topics covered by the workshop. * A discussion of the timeliness and relevance of the workshop. * A list of some related workshops held in the last years. * The estimated length of the workshop and an estimate of the number of expected attendees. * The names, affiliation and contact details (email, web page, phone) of the workshop organizers together with a designated contact person. * Previous experience of the workshop organizers in workshop/conference organization. Proposals are expected in text or PDF format. All proposals should be submitted to the Workshop Chair by email by April 13, 2020. Reviewing Process: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Each submitted proposal will be reviewed by the Workshop, Program and General Chairs. Proposals that appear well-organized and that fit the goals and scope of ICLP will be selected. The decision will be notified by email to the responsible organizer by April 27, 2020. The definitive length of the workshop will be planned according to the number of submissions received by the different workshops. For every accepted workshop, the ICLP local organizers will prepare a meeting room. The workshops and the conference organizers will collaborate in establishing a uniform approach to produce proficient and accessible proceedings for the workshops. Workshop Organizers' Tasks: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D * Producing a "Call for Papers" for the workshop and posting it on the Internet and other means. A web page URL should be provided by May 25, 2020, and will be published on the ICLP 2020 home page. * Providing a brief description of the workshop for the conference program. * Reviewing/accepting submitted papers. * Scheduling workshop activities in collaboration with the local organizers and the Workshop Chair. * Providing a workshop program in a format specified by the conference organizers for posting by August 31, 2020. * Coordinating the preparation of the workshop proceedings according to the specifications provided by the Workshop Chair. Location: =3D=3D=3D=3D=3D=3D=3D=3D=3D Workshops will be collocated with ICLP 2020 at the University of Calabria, Rende, Italy. See the ICLP 2020 web site (https://iclp2020.unical.it/) for location details. Important Dates (Tentative): =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D April 13, 2020:Proposal submission deadline April 27, 2020:Notification May 25, 2020:Deadline for receipt of CfP and workshop web page URL August 18, 2020: Deadline for acceptance notification of paper authors August 31, 2020: Deadline for workshop program Submissions: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Please submit your workshop proposals by email to the Workshop Chair. Workshop Chair: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Martin Gebsermartin.gebser@aau.at --=20 -- *Dona il=A0 5x1000* all'Universit=E0 degli Studi di Sassaricodice fiscale:= =20 00196350904 --------------9E59BC8598394ED7C2C9FF37 Content-Type: text/html; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable

=A0=A0=A0=A0=A0=A0=A0=A0 *** CA= LL FOR WORKSHOP PROPOSALS ***

=A0

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0 ICLP 2020

=A0

=A0=A0 36th International Conference on Logic Programming

=A0

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 September 18 - September 24, 2020

=A0=A0=A0=A0=A0=A0=A0=A0=A0 Uni= versity of Calabria, Rende, Italy

=A0

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0 https://iclp2020.unical.it

=A0

ICLP 2020, the 36th International Conference on Logic Programming,

will be held at the University of Calabria, Rende, Italy, from

Septe= mber 18 to September 24, 2020.

=A0

The ICLP conference series has a long standing tradition of hosting

a rich set of co-located workshops. ICLP workshops provide a unique

oppor= tunity for the presentation and discussion of work that can be

preli= minary in nature, novel ideas, and new open problems to a wide

and interested audience.

=A0

Co-lo= cated workshops also provide an opportunity for presenting

speci= alized topics and opportunities for intensive discussions and

proje= ct collaboration. The topics of the workshops co-located with

ICLP 2020 can cover any areas related to logic programming (e.g.,

theor= y, implementation, environments, language issues, alternative

parad= igms, applications), including cross-disciplinary areas. However,

any relevant workshop proposal will be considered.

=A0

The format of the workshop will be decided by the workshop organizers,

but ample time should be allowed for general discussion. Workshops can

vary in length, but the optimal duration will be half a day or a full

day.<= /span>

=A0

Works= hop Proposal:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Those interested in organizing a workshop at ICLP 2020 are invited to

submi= t a workshop proposal. Proposals should be in English and about

two pages in length. They should contain:

=A0

=A0* The title of the workshop.=

=A0* A brief technical description of the topics covered by the workshop.

=A0* A discussion of the timeliness and relevance of the workshop.

=A0* A list of some related workshops held in the last years.

=A0* The estimated length of th= e workshop and an estimate of the number

=A0=A0 of expected attendees.

=A0* The names, affiliation and contact details (email, web page,

=A0=A0 phone) of the workshop organizers together with a designated

=A0=A0 contact person.

=A0* Previous experience of the workshop organizers in

=A0=A0 workshop/conference organization.

=A0

Propo= sals are expected in text or PDF format. All proposals should be

submi= tted to the Workshop Chair by email by April 13, 2020.

=A0

Revie= wing Process:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Each submitted proposal will be reviewed by the Workshop, Program and

Gener= al Chairs. Proposals that appear well-organized and that fit the

goals and scope of ICLP will be selected. The decision will be

notif= ied by email to the responsible organizer by April 27, 2020.

=A0

The definitive length of the workshop will be planned according to the

numbe= r of submissions received by the different workshops. For every

accep= ted workshop, the ICLP local organizers will prepare a meeting

room. The workshops and the conference organizers will collaborate in

estab= lishing a uniform approach to produce proficient and accessible

proce= edings for the workshops.

=A0

Works= hop Organizers' Tasks:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D

=A0* Producing a "Call for Papers" for the workshop and posting it

=A0=A0 on the Internet and othe= r means. A web page URL should be provided

=A0=A0 by May 25, 2020, and wil= l be published on the ICLP 2020 home page.

=A0* Providing a brief description of the workshop for the conference

=A0=A0 program.

=A0* Reviewing/accepting submitted papers.

=A0* Scheduling workshop activities in collaboration with the local

=A0=A0 organizers and the Workshop Chair.

=A0* Providing a workshop program in a format specified by the

=A0=A0 conference organizers fo= r posting by August 31, 2020.

=A0* Coordinating the preparation of the workshop proceedings according

=A0=A0 to the specifications provided by the Workshop Chair.

=A0

Locat= ion:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D

Works= hops will be collocated with ICLP 2020 at the University of

Calab= ria, Rende, Italy. See the ICLP 2020 web site

(https:/= /iclp2020.unical.it/) for location details.

=A0

Impor= tant Dates (Tentative):

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D

April 13, 2020:=A0 Proposal submission deadline

April 27, 2020:=A0 Notification

May 25, 2020:=A0=A0=A0 Deadline= for receipt of CfP and workshop web page URL

Augus= t 18, 2020: Deadline for acceptance notification of paper authors

Augus= t 31, 2020: Deadline for workshop program

=A0

Submi= ssions:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Pleas= e submit your workshop proposals by email to the Workshop Chair.

=A0

Works= hop Chair:

=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Marti= n Gebser=A0=A0=A0 martin.gebs= er@aau.at



--
Dona il=A0 5x1000 all'Universit=E0 degli Studi di Sassa= ri
codice fiscale: 00196350904
--------------9E59BC8598394ED7C2C9FF37--