From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 05D097F6D8 for ; Sun, 18 Jan 2015 18:56:50 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=pra; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of logic-programming-bounces@lists.picat-lang.org) identity=mailfrom; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="logic-programming-bounces@lists.picat-lang.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mailman01.siteprotect.com) identity=helo; client-ip=64.41.126.239; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="logic-programming-bounces@lists.picat-lang.org"; x-sender="postmaster@mailman01.siteprotect.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqECAJLyu1RAKX7vf2dsb2JhbABagkMhdFyzZgEBB5I+AQmHAUMBAQEBAREBAQsLCggULoQOAQQBAQEaKQoYBg4DAQIGAgEBKhgBAwgDASMBCicEEwUDEYgTAQMJyz6EA4YFhkSCThEBg22BEwWJS4MvhSaDMoNokzSBPG8BAYEKOX4BAQE X-IPAS-Result: AqECAJLyu1RAKX7vf2dsb2JhbABagkMhdFyzZgEBB5I+AQmHAUMBAQEBAREBAQsLCggULoQOAQQBAQEaKQoYBg4DAQIGAgEBKhgBAwgDASMBCicEEwUDEYgTAQMJyz6EA4YFhkSCThEBg22BEwWJS4MvhSaDMoNokzSBPG8BAYEKOX4BAQE X-IronPort-AV: E=Sophos;i="5.09,422,1418079600"; d="scan'208,217";a="96814998" Received: from mailman01.siteprotect.com ([64.41.126.239]) by mail3-smtp-sop.national.inria.fr with ESMTP; 18 Jan 2015 18:56:47 +0100 Received: from mailman01.siteprotect.com (localhost.localdomain [127.0.0.1]) by mailman01.siteprotect.com (Postfix) with ESMTP id 3E7C4270801C; Sun, 18 Jan 2015 11:56:24 -0600 (CST) Received: from wallace.st-andrews.ac.uk (wallace.st-andrews.ac.uk [138.251.9.23]) by mailman01.siteprotect.com (Postfix) with ESMTP id E26CD2708009 for ; Sun, 18 Jan 2015 11:56:21 -0600 (CST) X-StAndrews-MailScanner-From: ijm@st-andrews.ac.uk X-StAndrews-MailScanner-SpamCheck: not spam (whitelisted), SpamAssassin (not cached, score=-4.209, required 5, autolearn=not spam, BAYES_00 -1.90, HTML_MESSAGE 0.00, RCVD_IN_DNSWL_MED -2.30, T_RP_MATCHES_RCVD -0.01) X-StAndrews-MailScanner: No virus detected X-StAndrews-MailScanner-ID: t0IHuDPb013032 X-StAndrews-MailScanner-Information: Please contact the ISP for more information Received: from mcgraw.st-andrews.ac.uk (mcgraw.st-andrews.ac.uk [138.251.8.95]) by wallace.st-andrews.ac.uk (8.14.3/8.14.3/Debian-9.4) with ESMTP id t0IHuDPb013032 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Sun, 18 Jan 2015 17:56:14 GMT X-StAndrews-MailScanner-From: ijm@st-andrews.ac.uk X-StAndrews-MailScanner-SpamCheck: not spam, SpamAssassin (not cached, score=-1.909, required 5, autolearn=not spam, BAYES_00 -1.90, HTML_MESSAGE 0.00, T_RP_MATCHES_RCVD -0.01) X-StAndrews-MailScanner: No virus detected X-StAndrews-MailScanner-ID: t0IHu3XL027789 X-StAndrews-MailScanner-Information: Please contact the ISP for more information Received: from unimail.st-andrews.ac.uk (unimail-out.st-andrews.ac.uk [194.247.94.140] (may be forged)) by mcgraw.st-andrews.ac.uk (8.14.3/8.14.3/Debian-9.4) with ESMTP id t0IHu3XL027789 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Sun, 18 Jan 2015 17:56:04 GMT Received: from UOS-DUN-MBX1.st-andrews.ac.uk ([fe80::81b5:e0d0:9d12:3fb]) by UOS-DUN-CAS4.st-andrews.ac.uk ([fe80::41f8:98bc:de7b:965d%13]) with mapi id 14.03.0181.006; Sun, 18 Jan 2015 17:55:58 +0000 From: Ian Miguel To: "logic-programming@lists.picat-lang.org" Thread-Topic: Call For Workshop Proposals: 31st International Conference on Logic Programming (ICLP 2015) Thread-Index: AQHQM0gCpsKdjdF5GkiUos8SgcAliQ== Date: Sun, 18 Jan 2015 17:55:57 +0000 Message-ID: <3FA02E58895AFB4F82D9DF95671F04825FFF80F3@UOS-DUN-MBX1.st-andrews.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [109.147.134.12] MIME-Version: 1.0 X-BeenThere: logic-programming@lists.picat-lang.org X-Mailman-Version: 2.1.18-1 List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: multipart/mixed; boundary="===============7436831330121038822==" Errors-To: logic-programming-bounces@lists.picat-lang.org Sender: "logic-programming" X-Validation-by: ijm@st-andrews.ac.uk Subject: [Caml-list] [logic-programming] Call For Workshop Proposals: 31st International Conference on Logic Programming (ICLP 2015) --===============7436831330121038822== Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_3FA02E58895AFB4F82D9DF95671F04825FFF80F3UOSDUNMBX1stand_" --_000_3FA02E58895AFB4F82D9DF95671F04825FFF80F3UOSDUNMBX1stand_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable *** CALL FOR WORKSHOP PROPOSALS *** ICLP 2015 31st International Conference on Logic Programming Aug 31 - Sep 4, 2015 Cork, Ireland URL: http://booleconferences.ucc.ie/iclp2015 ICLP 2015, the 31st International Conference on Logic Programming, will be held in Cork, Ireland, from August 31 to September 4, 2015. The conference is is part of The Year of George Boole, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork. ICLP 2015 will also be collocated with CP 2015. Workshops collocated with an international conference are one of the best venues for the presentation and discussion of preliminary work, novel ideas, and new open problems to a wide and interested audience. Collocated workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops collocated with ICLP 2015 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 2015 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 requested number of half-days allotted to 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 March 1, 2015. 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 March 15, 2015. 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 proceedings should be produced and distributed (usually via web pages) by each workshop organizer. 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 which will linked into the ICLP 2015 home page should be provided by April 10, 2015. * 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. * Sending workshop program in PDF format to the Workshop Chair for distribution and posting at the conference by June 31, 2015. * The use of the Computing Research Repository (CoRR) for the workshop proceedings is strongly recommended. For guidelines, see: http://dtai.cs.kuleuven.be/projects/ALP/electronic_publishing.html We encourage reading these instructions in advance so that you can ask paper authors to prepare the final versions of their papers accordingly. Location: =3D=3D=3D=3D=3D=3D=3D=3D=3D All workshops will take place at the main conference venue. See the ICLP 2015 web site for location details. Important Dates: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D March 1, 2015: Proposal submission deadline March 16, 2015: Notification April 10, 2015: Deadline for receipt of CfP and workshop web page URL July 31, 2015: Deadline for workshop program Aug 31, 2015: ICLP workshops (preliminary date) Workshop Chair: =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Mats Carlsson matsc@sics.se =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=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D --_000_3FA02E58895AFB4F82D9DF95671F04825FFF80F3UOSDUNMBX1stand_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

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

 =    ICLP 2015

 = 31st International Conference on Logic Programming

Aug 31= - Sep 4, 2015
 = Cork, Ireland

URL: h= ttp://booleconferences.ucc.ie/iclp2015

ICLP 2015, the 31st International Conference on Logic Programming,
will be held in Cork, Ireland, from August 31 to September 4, 2015.
The conference is is part of The Year of George Boole, a celebration
of the life and work of George Boole who was born in 1815 and worked
at the University College of Cork. ICLP 2015 will also be collocated
with CP 2015.

Workshops collocated with an international conference are one of the
best venues for the presentation and discussion of preliminary work,
novel ideas, and new open problems to a wide and interested audience.<= /div>
Collocated workshops also provide an opportunity for presenting
specialized topics and opportunities for intensive discussions and
project collaboration. The topics of the workshops collocated with
ICLP 2015 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<= /div>
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 2015 are invited to<= /div>
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 wor= kshop.
 * A discussion of the timeliness and relevance of the workshop.<= /div>
 * A list of some related workshops held in the last years
 * The requested number of half-days allotted to 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 designa= ted
   contact person.
 * Previous experience of the workshop organizers in
   workshop/conference organization.

Proposals are expected in text or PDF format. All proposals should be<= /div>
submitted to the Workshop Chair by email by March 1, 2015.

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<= /div>
General Chairs. Proposals that appear well-organized and that fit the<= /div>
goals and scope of ICLP will be selected.  The decision will be
notified by email to the responsible organizer by March 15, 2015.

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 proceedings should be produced and distributed (usually via<= /div>
web pages) by each workshop organizer.

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 p= osting it
   on the Internet and other means.  A web page URL whi= ch will linked
   into the ICLP 2015 home page should be provided by April = 10, 2015.
 * Providing a brief description of the workshop for the conferen= ce
   program.
 * Reviewing/accepting submitted papers.
 * Scheduling workshop activities in collaboration with the local=
   organizers and the Workshop Chair.
 * Sending workshop program in PDF format to the Workshop Chair f= or
   distribution and posting at the conference by June 31, 20= 15.
 * The use of the Computing Research Repository (CoRR) for the
   workshop proceedings is strongly recommended. For guideli= nes, see:
     http://dtai.cs.kuleuven.be/projects/ALP/electronic= _publishing.html
   We encourage reading these instructions in advance so tha= t you can
   ask paper authors to prepare the final versions of their = papers
   accordingly. 
   

Location:
=3D=3D=3D=3D=3D=3D=3D=3D=3D

All workshops will take place at the main conference venue. See the
ICLP 2015 web site for location details.

Important Dates:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

March        1, 2015: Proposal submission deadline=
March       16, 2015: Notification
April       10, 2015: Deadline for receipt of CfP and w= orkshop web page URL
July        31, 2015: Deadline for workshop progra= m 
Aug         31, 2015: ICLP workshops (preliminary = date)

Workshop Chair:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

Mats Carlsson    matsc@sics.se

=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=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=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=

--_000_3FA02E58895AFB4F82D9DF95671F04825FFF80F3UOSDUNMBX1stand_-- --===============7436831330121038822== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ logic-programming mailing list logic-programming@lists.picat-lang.org http://lists.picat-lang.org/mailman/listinfo/logic-programming --===============7436831330121038822==--