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 C4BF35D5 for ; Fri, 27 Mar 2020 07:26:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,311,1580770800"; d="scan'208,217";a="442557705" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 27 Mar 2020 08:26:15 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9CFD37F474; Fri, 27 Mar 2020 08:26:15 +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 82E247F449 for ; Fri, 27 Mar 2020 08:24:44 +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-f47.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AuGxDlxcAlngNT3N6U4WPyLkmlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc2/Yx7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpW1aJhKqPgNw?= =?us-ascii?q?IqHxG5XOp8WxzeG7vZPJMCtSgz/oRbpvNhz+lQzXus4Sj4wqfqIpwx3FpX9GfM?= =?us-ascii?q?xLw2JzPhSSg0CvtY+L4Jd//nEI6Loa/MlaXPCiJvlqffljFD0jdlsNyojruB3E?= =?us-ascii?q?F1bd43IdViAJiEMNDVSaqh79WZj1v23xse8vgHDLb/2zdqg9XHGZ14kuTRbpjC?= =?us-ascii?q?kdMDtgqDPKjM1rl+RavED4/kAt88vveIiQccFGUObFZ9pDHThcWMdKTGpAHtHk?= =?us-ascii?q?Yg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AfBgByqX1efy/dVdFmHgELHIMggXAPR?= =?us-ascii?q?lyNHIV6gWyBJoJuj04uhXaBEANUAQkBAwEKAQEfDgIEAQGDDoNnHAcBBDQTAhA?= =?us-ascii?q?BAQUBAQECAQIDBAETAQEJCwsIJ4VfDII7IoMsCyMBASYSVT8BBQEvBgIBAR6DB?= =?us-ascii?q?AGCfASgEoEEPYxagn8BAQWGJYE1AwYJAQiBJowvGoFBP4ERJwyCLAeBcIMVARI?= =?us-ascii?q?BhhGNb4l9iFWQHIFqXIdfjycGAhuCTIgthB2MTYRQk1aSZwIKBwYPI4FGgQlxT?= =?us-ascii?q?VIhgmxQGA1XjUYYIIM7gm6HaEAzAoEDjgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AfBgByqX1efy/dVdFmHgELHIMggXAPRlyNHIV6gWyBJoJ?= =?us-ascii?q?uj04uhXaBEANUAQkBAwEKAQEfDgIEAQGDDoNnHAcBBDQTAhABAQUBAQECAQIDB?= =?us-ascii?q?AETAQEJCwsIJ4VfDII7IoMsCyMBASYSVT8BBQEvBgIBAR6DBAGCfASgEoEEPYx?= =?us-ascii?q?agn8BAQWGJYE1AwYJAQiBJowvGoFBP4ERJwyCLAeBcIMVARIBhhGNb4l9iFWQH?= =?us-ascii?q?IFqXIdfjycGAhuCTIgthB2MTYRQk1aSZwIKBwYPI4FGgQlxTVIhgmxQGA1XjUY?= =?us-ascii?q?YIIM7gm6HaEAzAoEDjgEBAQ?= X-IronPort-AV: E=Sophos;i="5.72,311,1580770800"; d="scan'208,217";a="343979248" X-MGA-submission: =?us-ascii?q?MDHjX5lHklAeHadQI1qJUalYpotoBCVsvY/GBi?= =?us-ascii?q?Nb3sZC9aimW5duRg699/2GRDsA2IgDFu2t661mtgGrngkUdJ1aodRhtM?= =?us-ascii?q?G1xCGLqIJwmL+ta2RLJqdHxb/uKMSiCsl6ViCCSTeRRojNH9bAuRC6E6?= =?us-ascii?q?32DlF122KyoSDPbnJIvC+eBQ=3D=3D?= Received: from mail-wr1-f47.google.com ([209.85.221.47]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 27 Mar 2020 08:24:38 +0100 Received: by mail-wr1-f47.google.com with SMTP id j17so10100177wru.13 for ; Fri, 27 Mar 2020 00:24:38 -0700 (PDT) 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=zK6enksxOJcLFvngsvtOkfcdAldytGzPrD83BA5uEuo=; b=Fg6ivE/VBwzUAkUn9B1JU2IYQb/Q8z1S2BCkx3tbI/d5d/i5oNIYdeTqTFdtRxW/Q3 UCmIWDEpDbQhWB759sAes9uZQo6MbhcVWVJyI1zbsFcqTFFUQsQlJfJMMZU8dqMDW126 frEqab1bAaEIdXkLddoKCluqhonRDf8lTmITrANN1UZv7PZmxyxaMpIYrxzvSvyKT0DU fJTy+L9EUkmSZ+kCRorcLBADSyoSO5iA6pmN6kSnGUcRI2P7icJOPO5jpc1yhWQBkQ7W Dwzi8I/e/fg2MwYDwwDQ/yZBFKGuIdWF6qWt4BrZJIqffO0RZRTMezD6VorR3nY5U6hx X2tA== 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=zK6enksxOJcLFvngsvtOkfcdAldytGzPrD83BA5uEuo=; b=IRW076Af978SNlWBdtl+G9qjqHEytLBJlXU+CukNfLFF0vodmtC8gcGhN2/lGereQP i5hJXBc8n58RpNA9p93cgrD9o3CKeCn9fJUuaXw1QMCUbWCeN+rZ8ca8htp8CgXGZ5gI wmCgxDA9B7kV1afzo3O6oW7IFVby+MK740+bQBbgzv5iZepJjaPATkGelyLJBB7YZ4lD nCatyroAuSpi3hkfmPEnAOSerDFKvai+5L9tM8BLLOdVVznZsUvC+XmDic6pyFS1x45m SFsKQyF5EeEuB+pZgxu4KrqTOmmjj7RDtfFiasrRz0d3yZAQC9eZCbPNXSgyg20RVtOQ 6TJg== X-Gm-Message-State: ANhLgQ3uhbUk2FuFsYy9sD3BFUzFWkdiEXWG5UoJYHPAIKbtFpP1MXz5 /7qsKds96xllNavEJnz7HYl9L7ZOwfHWWBGFhxOY2JTEmhBvCSki9YHvRdFdai9MTlpFe1jQWXU Z3HIKf9RLWQ== X-Google-Smtp-Source: ADFU+vsEB0TdJLjsKgPA5P9lPlw6ah/hX3lrTuEvNFmW1NCzBnXTtuxnLZls9whRM6goiSB7UyOnOg== X-Received: by 2002:adf:9796:: with SMTP id s22mr13084917wrb.31.1585293877985; Fri, 27 Mar 2020 00:24:37 -0700 (PDT) Received: from Air-Laura.station (net-37-119-69-197.cust.vodafonedsl.it. [37.119.69.197]) by smtp.gmail.com with ESMTPSA id s2sm6816632wru.68.2020.03.27.00.24.37 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 27 Mar 2020 00:24:37 -0700 (PDT) From: Laura Pandolfo To: caml-list@inria.fr Message-ID: <11781480-9919-f738-2b30-07ad5da64315@uniss.it> Date: Fri, 27 Mar 2020 08:24:36 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:68.0) Gecko/20100101 Thunderbird/68.5.0 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="------------C69A9899533D35C4763B5EF7" Content-Language: it X-Validation-by: lpandolfo@uniss.it Subject: [Caml-list] 2nd Call for Workshop Proposals - The 36th International Conference on Logic Programming (ICLP2020) Reply-To: Laura Pandolfo X-Loop: caml-list@inria.fr X-Sequence: 18074 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. --------------C69A9899533D35C4763B5EF7 Content-Type: text/plain; charset="ISO-8859-15"; format=flowed Content-Transfer-Encoding: quoted-printable =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 *** CALL FOR WORKSHOP PROPOSALS *** =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 36th International Conference on Logic Programming =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 University of Calabria, Rende, Italy =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 https://iclp2020.unical.it /*NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 // //organizers on the situation, and we will revise our workshop // //timeline and other procedures accordingly if needed.*/ 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: =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 the 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. 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 =A0* Producing a "Call for Papers" for the workshop and posting it =A0=A0 on the Internet and other means. A web page URL should be provided =A0=A0 by May 25, 2020, and will 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 for posting by August 31, 2020. =A0* Coordinating the preparation of the workshop proceedings according =A0=A0 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:=A0 Proposal submission deadline April 27, 2020:=A0 Notification May 25, 2020:=A0=A0=A0 Deadline for receipt of CfP and workshop web page UR= L 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 Gebser=A0=A0=A0 martin.gebser@aau.at --=20 -- *Dona il=A0 5x1000* all'Universit=E0 degli Studi di Sassaricodice fiscale:= =20 00196350904 --------------C69A9899533D35C4763B5EF7 Content-Type: text/html; charset="ISO-8859-15" Content-Transfer-Encoding: quoted-printable

=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 *** CALL FOR WORKSHOP PROPOSALS ***

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 ICL= P 2020

=A0=A0 36th International Conference on Logic Programming

=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 University of Calabria, Rende, Italy
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 https://iclp2020.unical.it

*NOTE ABOUT COVID-19: We will follow advice from the ICLP2020
organizers on the situation, and we will revise our workshop =
timeline and other procedures accordingly if needed.*

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:

=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.<= br> =A0* A list of some related workshops held in the last years.
=A0* The estimated length of the 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.

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
=A0* Producing a "Call for Papers" for the workshop and posting it<= br> =A0=A0 on the Internet and other means. A web page URL should be provided
=A0=A0 by May 25, 2020, and will 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 for posting by August 31, 2020.
=A0* Coordinating the preparation of the workshop proceedings according
=A0=A0 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:=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
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 Gebser=A0=A0=A0 martin.gebser@aau.at



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