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 2ADFF7F730 for ; Wed, 15 Mar 2017 00:19:00 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=Pass smtp.pra=Tommaso.Urli@data61.csiro.au; spf=Pass smtp.mailfrom=prvs=239f9200e=Tommaso.Urli@data61.csiro.au; spf=None smtp.helo=postmaster@vic-MTAout5.csiro.au Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of Tommaso.Urli@data61.csiro.au designates 150.229.64.42 as permitted sender) identity=pra; client-ip=150.229.64.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=239f9200e=Tommaso.Urli@data61.csiro.au"; x-sender="Tommaso.Urli@data61.csiro.au"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of prvs=239f9200e=Tommaso.Urli@data61.csiro.au designates 150.229.64.42 as permitted sender) identity=mailfrom; client-ip=150.229.64.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=239f9200e=Tommaso.Urli@data61.csiro.au"; x-sender="prvs=239f9200e=Tommaso.Urli@data61.csiro.au"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@vic-MTAout5.csiro.au) identity=helo; client-ip=150.229.64.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="prvs=239f9200e=Tommaso.Urli@data61.csiro.au"; x-sender="postmaster@vic-MTAout5.csiro.au"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AoQbKEheu++wlE1u+2L1710xwlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc26ZBGN2/xhgRfzUJnB7Loc0qyN4v2mBDNLu8zJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanb75/KBW7oR/Ru8QUjoduNLg9wQbVr3VVfO?= =?us-ascii?q?hb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnY?= =?us-ascii?q?UAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhS?= =?us-ascii?q?waMDE37XzXitdojK1FvB2hux9xw4vbYI+bM/p+e7nSfdIcRWFcWspcWTBNDoa6?= =?us-ascii?q?YoQIE+cMM/pUo5Tkq1cSsBe1GA2gCP7vxzNNgHL9wK803Pk7EQze3AIuAc8AsG?= =?us-ascii?q?jaotv2NacdTe+6wbLSwjnfdf5bwyvx5JTIfx0nvPqCXahwcc3UyUQ3EA7LkFKQ?= =?us-ascii?q?qYngPzyPzeQNtHKX4OR6VeKrim4qsBx+rSKzxsg2i4TFm5gZxUzf9SV42oY1Is?= =?us-ascii?q?e0R1RmYdO9FpZbqi+UN4xzQsw4QmFovj43xaActp6nZicHyYkrywTDZPyccoiI?= =?us-ascii?q?+BXjWPyLLjdlnH5qZqiwhw2y8Ee8yu3zTMi00ExQoipCiNnMuWgB2Abc58iDUv?= =?us-ascii?q?tx5ECh2SyA1w3V9+pKIlg0mLLGJ5Mh3rI8jIQfvVrHEyPsmUj7g7Wae0o69uSw?= =?us-ascii?q?9ejqbanqq5+ZOoBvlg3yLrgil8m+DOgkLwQDWnWX9Oag2LDm+ED1XrBHg/Iunq?= =?us-ascii?q?nXrp/XJtgXq6u8DgJW3Ysu6AywAjK73NgGg3UIMFdIdwiag4XpJ17DJf74Aeqj?= =?us-ascii?q?jFmqjTxl3erJPqf7DZXINnXDkKnufbJ660NE1gozzMxQ64tTBL8fPP/zXVLxtM?= =?us-ascii?q?DYAxMjLwO02OfnCM961o8EQ22PH7eVMKLUsVCW+uIiO/SAaY8JtDrnNfQp+frj?= =?us-ascii?q?gWU4lFISZ6Wk0oUbZGi9Hvt8IkWZZXTsgs0GEWcPpgc+VPbqiEOZUTNLeXq/Ua?= =?us-ascii?q?Yx5j8/BY64EYvPWp6ijaSf0ie8G51WY3pJCkuLEXvyeYqEQfMMaCOJL8B8iDME?= =?us-ascii?q?SaKuRo482R20qAD60LtnLvDT+iECr53jycB55/fPmhEq6Tx0E8Od3nmRQG5um2?= =?us-ascii?q?MIQyY63KR+oUxm1leOyrN4gvxdFdxL/fxFSAY6NZjGz+x7Ed/+QAzBfs3aAGqh?= =?us-ascii?q?F4GaBjQ0R8k2heIUZ0dVF9y+h06amSGxAqUS0bWWUs8a6KXZiizNIMN4wm3Bkp?= =?us-ascii?q?Q7i1gOTsJTPDP/wKVk9hLUQYfUxRbK3522fLgRiXaevFyIynCD6R0FXQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CkCgCBechYmCpA5ZZHFhwBAQoBAQQBA?= =?us-ascii?q?RgBCwEFAYJDIRh7EHgBARCGLIIMlmyEIAEDiH6GKoQ8AQqCQoFvhCFDFAEBAQE?= =?us-ascii?q?BAQEBAQEBEgEBAQEBCAsLBigvQgEECYFjCoJ8IwEBHwcDAg0RASkKDQcWIxQTB?= =?us-ascii?q?BMJDAGJaQINrQSDDoMIAQEFh1MBAQgBAQEBARsIgR6HPYFZWYFsgVuBBxIBA4J?= =?us-ascii?q?sDEOCSokgEYQbg1+EWoZCAYYLa4MoiB2CT45Wk0c2gSURIyAxKWYMgR6ER3UBg?= =?us-ascii?q?kWBEoMdAQEkB4IQAQEB?= X-IPAS-Result: =?us-ascii?q?A0CkCgCBechYmCpA5ZZHFhwBAQoBAQQBARgBCwEFAYJDIRh?= =?us-ascii?q?7EHgBARCGLIIMlmyEIAEDiH6GKoQ8AQqCQoFvhCFDFAEBAQEBAQEBAQEBEgEBA?= =?us-ascii?q?QEBCAsLBigvQgEECYFjCoJ8IwEBHwcDAg0RASkKDQcWIxQTBBMJDAGJaQINrQS?= =?us-ascii?q?DDoMIAQEFh1MBAQgBAQEBARsIgR6HPYFZWYFsgVuBBxIBA4JsDEOCSokgEYQbg?= =?us-ascii?q?1+EWoZCAYYLa4MoiB2CT45Wk0c2gSURIyAxKWYMgR6ER3UBgkWBEoMdAQEkB4I?= =?us-ascii?q?QAQEB?= X-IronPort-AV: E=Sophos;i="5.36,166,1486422000"; d="scan'208,217";a="216755567" Received: from vic-mtaout5.csiro.au ([150.229.64.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Mar 2017 00:18:54 +0100 DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=data61.csiro.au; i=@data61.csiro.au; q=dns/txt; s=dkim; t=1489533537; x=1521069537; h=from:to:subject:date:message-id:mime-version; bh=3oCJGidmm9rZ/HGJwCuLbmU0F0ajCRMQ3PT16d3pUY0=; b=UZxC9TCiTXy91Y3XL3CJJI5XJU2UEFq3/uduAZFPb5YAqhQGEniLW/n6 bviixPhS88qhOcTh7RHZjENpU3xejKYS5qgIum1he+gxZmYtJYHWpXyIo JpmuVXL4cZMZ2m5IEuiaoVxB7nhO5/GzQSTEc4zDqRD7GTWh99nqUEUTh 8=; X-SBRS: None X-IronPort-AV: E=Sophos;i="5.36,166,1486386000"; d="scan'208,217";a="98406506" Received: from exch2-mel.nexus.csiro.au ([IPv6:2405:b000:302:71::85:122]) by vic-ironport-int.csiro.au with ESMTP/TLS/AES256-SHA; 15 Mar 2017 10:18:46 +1100 Received: from exch3-mel.nexus.csiro.au (2405:b000:302:71::85:123) by exch2-mel.nexus.csiro.au (2405:b000:302:71::85:122) with Microsoft SMTP Server (TLS) id 15.0.1178.4; Wed, 15 Mar 2017 10:03:35 +1100 Received: from exch3-mel.nexus.csiro.au ([fe80::848a:122c:a15c:f1c]) by exch3-mel.nexus.csiro.au ([fe80::848a:122c:a15c:f1c%17]) with mapi id 15.00.1178.000; Wed, 15 Mar 2017 10:03:35 +1100 From: To: Thread-Topic: [ICLP 2017] Extended deadline Thread-Index: AQHSnRbCn1F93mdkGECynn0ug46IPg== Date: Tue, 14 Mar 2017 23:03:35 +0000 Message-ID: <1489532613221.85466@data61.csiro.au> Accept-Language: en-GB, en-AU, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [2405:b000:601:170::2:4] Content-Type: multipart/alternative; boundary="_000_148953261322185466data61csiroau_" MIME-Version: 1.0 X-Validation-by: tommaso.urli@data61.csiro.au Subject: [Caml-list] [ICLP 2017] Extended deadline --_000_148953261322185466data61csiroau_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable ************ DEADLINE FOR ABSTRACT EXTENDED TO March 17 *********** ************ SAME DAY AS PAPER SUBMISSION DEADLINE *********** ICLP 2017 Call for Papers ------------------------- The 33rd International Conference on Logic Programming (ICLP 2017) will take place in Melbourne, Australia alongside SAT 2017 and CP 2017, from August 28th to September 1st, 2017 which is the week immediately following IJCAI 2017. Full information at http://iclp17.a4lp.org Call for Papers at http://iclp17.a4lp.org/call_for_papers.html Conference Scope ---------------- Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, Tabling. - Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing. - Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques. - Related Paradigms: Inductive and Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking. - Applications: Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education. In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops. Important Dates (RP: Regular Paper / TC: Technical Communication) ----------------------------------------------------------------- - RP registration (abstract): 17 March, 2017 - RP submission: 17 March, 2017 - First notification (RPs): 24 April, 2017 - TC submission (extra round): 1 May, 2017 - Revision submission (RPs): 15 May, 2017 - Final notifications (RPs + TCs): 29 May, 2017 - Camera-ready copy (RPs + TCs): 19 June, 2017 - Conference: 28 Aug / 1 Sep, 2017 Submission Details ------------------ All submissions must be made via the EasyChair conference system (http://www.easychair.org/conferences/?conf=3Diclp2017). Submissions of regular papers (RPs) must follow the condensed TPLP format (template available from ICLP=92s web page) and not exceed 14 pages including bibliography. RPs may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit and which will be available as appendices to the published paper. Three kinds of RPs will be accepted: * Technical papers for technically sound, innovative ideas that can advance the state of logic programming; * Application papers that impact interesting application domains; * System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described. Application, system, and tool papers need to be clearly marked in their title. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers may be subject to more than one round of refereeing (within the decision period). The program committee may recommend some RPs to be published as Technical Communications (TCs). TCs will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available from ICLP=92s web page) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC=92s authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the OASIcs proceedings. This should allow authors to submit a long version elsewhere. There is also a second submission round only for TCs. Submissions to this extra round must also follow the OASIcs format indicated above. RPs accepted as TCs do not need to be resubmitted to the TC extra round. Rejected RPs cannot be resubmitted as TCs. All RPs and TCs will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. Conference Organization ----------------------- General Chairs: - Maria Garcia de la Banda Monash University, Australia - Guido Tack Monash University, Australia Program Chairs: - Ricardo Rocha University of Porto, Portugal - Tran Cao Son New Mexico State University, USA Workshop Chair: - Enrico Pontelli New Mexico State University, USA Publicity Chair: - Tommaso Urli Australian National University, Australia Sponsorship Chair: - Maria Garcia de la Banda Monash University, Australia Doctoral Consortium Chair (joint event with CP and SAT): - Neda Saeedloei University of Minnesota Duluth, USA - Christopher Mears Monash University, Australia Programming Contest Chairs: - Paul Fodor Stony Brook University, USA - Graeme Gange University of Melbourne, Australia Web Presence: - Tommaso Urli Australian National University, Australia Program Committee ----------------- See full program committee at http://iclp17.a4lp.org/program_committee.html Workshops --------- The ICLP 2017 program will include several workshops. They are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration. See call for workshop proposals at http://iclp17.a4lp.org/call_for_workshop= _proposals Doctoral Consortium ------------------- The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and experts in the field. Accepted participants will receive partial financial support to attend the event and the main conference. The best paper from the DC will be given the opportunity to present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs. Conference Venue ---------------- The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World=92s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne=92s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru. The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne's South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne's city centre has a free tram zone that makes it easier for tourists to move around the city. Related Events -------------- Several other AI events will be held in Melbourne and other parts of Australia close to these dates, offering attendees a variety of choices for an extended itinerary. These events will include the International Conference on Principles and Practice of Constraint Programming (CP 2017) and the International Conference on Theory and Applications of Satisfiability Testing (SAT 2017), both co-located with ICLP 2017. The International Joint Conference on Artificial Intelligence (IJCAI 2017), the Australasian Joint Conference on Artificial Intelligence (AusAI 2017), the Australasian Conference on Data Mining (AusDM 2017), and the International Conference on Knowledge Science, Engineering, and Management (KSEM 2017) will all to be held in Melbourne one week before ICLP. The International Conference on Machine Learning (ICML 2017) will also be held in Sydney Australia shortly before ICLP 2017. Sponsors -------- The conference is sponsored by the Association for Logic Programming (ALP), the Association for Constraint Programming (ACP), Monash University, and CSIRO Data61. See the sponsor information at http://iclp17.a4lp.org/sponsors.html Financial Assistance -------------------- The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs. ? Dr Tommaso Urli Researcher | Optimisation Platforms DATA61 | CSIRO E tommaso.urli@data61.csiro.au T +61 2= 6218 3862 M +61 403 464 731 Tower A Level 3, 7 London Circuit, Canberra ACT 2601 www.data61.csiro.au CSIRO=92s Digital Productivity business unit and NICTA have joined forces t= o create digital powerhouse Data61 [Data61 | CSIRO logo] --_000_148953261322185466data61csiroau_ Content-Type: text/html; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable
************ DEADLINE FOR ABSTRACT EXTENDED TO March 17  ********= ***
************ SAME DAY AS PAPER SUBMISSION DEADLINE      = ; ***********

ICLP 2017 Call for Papers 
-------------------------

The 33rd International Conference on Logic Programming (ICLP 2017)&nbs= p;
will take place in Melbourne, Australia alongside SAT 2017 and CP 2017= , 
from August 28th to September 1st, 2017 which is the week immediately&= nbsp;
following IJCAI 2017.

Full information at http://iclp17.a4lp.org
Call for Papers at http://iclp17.a4lp.org/call_for_papers.html


Conference Scope
----------------

Since the first conference held in Marseille in 1982, ICLP has been
the premier international conference for presenting research in logic<= /div>
programming. Contributions are sought in all areas of logic
programming, including but not restricted to:

 - Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoni= ng,
   Knowledge Representation.

 - Implementation: Compilation, Virtual Machines, Parallelism,
   Constraint Handling Rules, Tabling.

 - Environments: Program Analysis, Transformation, Validation,
   Verification, Debugging, Profiling, Testing.

 - Language Issues: Concurrency, Objects, Coordination, Mobility,=
   Higher Order, Types, Modes, Assertions, Programming Techn= iques.

 - Related Paradigms: Inductive and Co-inductive Logic Programmin= g,
   Constraint Logic Programming, Answer-Set Programming, SAT= -Checking.

 - Applications: Databases, Big Data, Data Integration and Federa= tion,
   Software Engineering, Natural Language Processing, Web an= d Semantic
   Web, Agents, Artificial Intelligence, Bioinformatics, and=
   Education.

In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, and several workshops.


Important Dates (RP: Regular Paper / TC: Technical Communication)
-----------------------------------------------------------------

- RP registration (abstract):       17 March, 2017
- RP submission:               &nbs= p;    17 March, 2017
- First notification (RPs):         24 April, 2017=
- TC submission (extra round):      1 May, 2017
- Revision submission (RPs):        15 May, 2017
- Final notifications (RPs + TCs):  29 May, 2017
- Camera-ready copy (RPs + TCs):    19 June, 2017
- Conference:                 =       28 Aug / 1 Sep, 2017


Submission Details
------------------

All submissions must be made via the EasyChair conference system
(http://www.easychair.org/conferences/?conf=3Diclp2017). Submissions o= f
regular papers (RPs) must follow the condensed TPLP format (template
available from ICLP=92s web page) and not exceed 14 pages including
bibliography. RPs may be supplemented with appendices for proofs and
details of datasets which do not count towards the page limit and
which will be available as appendices to the published paper. Three
kinds of RPs will be accepted:

 * Technical papers for technically sound, innovative ideas that = can
   advance the state of logic programming;

 * Application papers that impact interesting application domains= ;

 * System and tool papers which emphasize novelty, practicality,<= /div>
   usability, and availability of the systems and tools desc= ribed.

Application, system, and tool papers need to be clearly marked in
their title.

All submissions must be written in English and describe original,
previously unpublished research, and must not simultaneously be
submitted for publication elsewhere. These restrictions do not apply
to previously accepted workshop papers with a limited audience and/or<= /div>
without archival proceedings.

Papers of the highest quality will be selected to be published in the<= /div>
journal of Theory and Practice of Logic Programming (TPLP), Cambridge<= /div>
University Press (CUP). In order to ensure the quality of the final
version, papers may be subject to more than one round of refereeing
(within the decision period).

The program committee may recommend some RPs to be published as
Technical Communications (TCs). TCs will be published by Dagstuhl
Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must<= /div>
follow the OASIcs format (template available from ICLP=92s web page) a= nd
not exceed 14 pages excluding the bibliography and a short appendix
(up to 5 more pages). TC=92s authors can also elect to convert their
submissions into extended abstracts, of 2 or 3 pages, for inclusion in=
the OASIcs proceedings. This should allow authors to submit a long
version elsewhere.

There is also a second submission round only for TCs. Submissions to
this extra round must also follow the OASIcs format indicated
above. RPs accepted as TCs do not need to be resubmitted to the TC
extra round. Rejected RPs cannot be resubmitted as TCs.

All RPs and TCs will be presented during the conference. Authors of
accepted papers will, by default, be automatically included in the
list of ALP members, who will receive quarterly updates from the Logic=
Programming Newsletter at no cost.


Conference Organization
-----------------------

General Chairs:
- Maria Garcia de la Banda   Monash University, Australia
- Guido Tack                 M= onash University, Australia

Program Chairs:
- Ricardo Rocha              Univer= sity of Porto, Portugal
- Tran Cao Son               New Me= xico State University, USA

Workshop Chair:
- Enrico Pontelli            New Mexico = State University, USA

Publicity Chair:
- Tommaso Urli               Austra= lian National University, Australia

Sponsorship Chair:
- Maria Garcia de la Banda   Monash University, Australia

Doctoral Consortium Chair (joint event with CP and SAT):
- Neda Saeedloei             University = of Minnesota Duluth, USA
- Christopher Mears          Monash Universit= y, Australia

Programming Contest Chairs:
- Paul Fodor                 S= tony Brook University, USA
- Graeme Gange               Univer= sity of Melbourne, Australia

Web Presence:
- Tommaso Urli               Austra= lian National University, Australia


Program Committee
-----------------

See full program committee at http://iclp17.a4lp.org/program_committee= .html


Workshops
---------

The ICLP 2017 program will include several workshops. They are perhaps=
the best places for the presentation of preliminary work,
underdeveloped novel ideas, and new open problems to a wide and
interested audience with opportunities for intensive discussions and
project collaboration.

See call for workshop proposals at http://iclp17.a4lp.org/call_for_wor= kshop_proposals


Doctoral Consortium
-------------------

The Thirteen Doctoral Consortium (DC) on Logic Programming [this year<= /div>
being co-organized and taking place together with CP 2017 and SAT
2017] provides research students with the opportunity to present and
discuss their research directions, and to obtain feedback from both
peers and experts in the field. Accepted participants will receive
partial financial support to attend the event and the main
conference. The best paper from the DC will be given the opportunity
to present in a session of the main ICLP conference. Doctoral
consortium position papers, of between 10 and 14 pages, will also be
published as TCs.


Conference Venue
----------------

The venue will be the Melbourne Convention and Exhibition
Centre. Melbourne is the second most populous city in Australia and
the coastal capital of the south-eastern Australian state of
Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne
has been named the World=92s Most Liveable City for six years running<= /div>
and it is widely recognised as the cultural and culinary capital of
Australia. It is a safe, creative and multi-cultural city full of
exciting places to see, delicious foods to eat, and excellent events
to experience; from the Arts precinct to the river bank parks and
gardens to the buzzing city centre and the hidden thrills of
Melbourne=92s laneways. It is also an air-hop away from breathtaking
destinations like The Great Barrier Reef, Sydney and Uluru.

The Melbourne Convention and Exhibition Centre (MCEC) is located on
the banks of the iconic Yarra River in Melbourne's South Wharf. Given<= /div>
its central location, it has a huge variety of accommodation close-by,=
with more than 6000 rooms within walking distance. MCEC is easily
accessible by public transport, particularly as the Melbourne's city
centre has a free tram zone that makes it easier for tourists to move<= /div>
around the city.


Related Events
--------------

Several other AI events will be held in Melbourne and other parts of
Australia close to these dates, offering attendees a variety of
choices for an extended itinerary. These events will include the
International Conference on Principles and Practice of Constraint
Programming (CP 2017) and the International Conference on Theory and
Applications of Satisfiability Testing (SAT 2017), both co-located
with ICLP 2017. The International Joint Conference on Artificial
Intelligence (IJCAI 2017), the Australasian Joint Conference on
Artificial Intelligence (AusAI 2017), the Australasian Conference on
Data Mining (AusDM 2017), and the International Conference on
Knowledge Science, Engineering, and Management (KSEM 2017) will all to=
be held in Melbourne one week before ICLP. The International
Conference on Machine Learning (ICML 2017) will also be held in Sydney=
Australia shortly before ICLP 2017.


Sponsors
--------

The conference is sponsored by the Association for Logic Programming
(ALP), the Association for Constraint Programming (ACP), Monash
University, and CSIRO Data61.

See the sponsor information at http://iclp17.a4lp.org/sponsors.html


Financial Assistance
--------------------

The Association for Logic Programming has funds to assist financially<= /div>
disadvantaged participants and, especially, students to enable them to=
attend the conference. Inquiries should be made to the general chairs.=

​



Dr Tommaso Url= i

Researcher | Optimisation Platforms

DATA61 | CSIRO

E tommaso.urli@data61.csiro.au T += 61 2 6218 3862 M +61 403 464 731

Tower A Level 3, 7 London Circuit, Canberra ACT 2601

www.data61.csiro.au

CSIRO=92s Digital Productivity busine= ss unit and NICTA have joined forces to create digital powerhouse Data61

=3D"Data61

--_000_148953261322185466data61csiroau_--