-------- Weitergeleitete Nachricht --------

Betreff:	[WI] [ICLP 2017] Second Call for Papers
Datum:	Tue, 28 Feb 2017 05:19:11 +0000
Von:	Tommaso.Urli@data61.csiro.au
Antwort an:	Tommaso.Urli@data61.csiro.au
An:	Tommaso.Urli@data61.csiro.au

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): 10 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=iclp2017). Submissions of

regular papers (RPs) must follow the condensed TPLP format (template

available from ICLP’s 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’s web page) and

not exceed 14 pages excluding the bibliography and a short appendix

(up to 5 more pages). TC’s 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’s 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’s 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.