Conference Information
ICLP 2015 : International Conference on Logic Programming
http://booleconferences.ucc.ie/iclp2015
Submission Date:
2015-04-20
Notification Date:
2015-06-05
Conference Date:
2015-08-31
Location:
Cork, Ireland
Years:
31
CORE: a   QUALIS: b1   Viewed: 6189   Tracked: 1   Attend: 0

Conference Location
Advertisment
Call For Papers
Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and 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.

Conference Scope

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 and 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 Coinductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT, Constraints, Computational Argumentation, Abductive Logic Programming, Functional Logic Programming.
    Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Social Networks and Social Choice.

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

Submission Details

There are two categories for submissions:

    Regular papers, including: (1) technical papers for describing technically sound, innovative ideas that can advance the state of logic programming; (2) application papers, with emphasis on impact on some application domains; (3) system and tool papers, with emphasis on novelty, practicality, usability and availability of the systems and tools described.
    Technical communications aimed at describing recent developments, new projects, and other materials not ready for publication as regular papers.

All regular papers and technical communications will be presented during the conference. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.

Regular papers must not exceed 12 pages plus bibliography: however the papers may include appendices beyond 12 pages. Technical communications must not exceed 10 pages. Submissions must be made in
the TPLP format (see http://journals.cambridge.org/images/fileUpload/images/tlp_ifc_MAY2014.pdf) via the EasyChair submission system, available at www.easychair.org/conferences/?conf=iclp2015

Paper Publication

All accepted regular papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to two rounds of refereeing (within the decision period). Accepted technical communications will be published in archival form. The program committee may also recommend papers submitted as regular to be published as technical communications.

Sponsor

The conference is sponsored by the Association for Logic Programming (ALP).

Financial Assistance

The Association for Logic Programming has funds to assist financially disadvantaged participants and, in particular, students in order to be able to attend the conference.
Last updated by Dou Sun in 2015-01-17
Related Publications
Acceptance Ratio
YearSubmittedAcceptedAccepted(%)
20051042524%
2004702840%
2001791721.5%
1999862630.2%
Advertisment
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
ba*a1UAIConference on Uncertainty in Artificial Intelligence2016-03-012016-05-062016-06-25
WCETInternational Workshop on Worst-Case Execution Time 2012-05-202012-07-10
aa2ESOPEuropean Symposium on Programming2017-10-132017-12-222018-04-14
b3GECONInternational Conference on Economics of Grids, Clouds, Systems and Services2017-06-012017-07-012017-09-19
ICDHInternational Conference on Digital Home2014-07-312014-08-302014-11-28
ba*a2ICFPACM SIGPLAN International Conference on Functional Programming2018-03-162018-05-182018-09-23
ADHOC-NOWInternational Conference on Ad Hoc Networks and Wireless2017-06-302017-07-122017-09-20
CSCInternational Conference on Cloud and Service Computing2012-08-152012-09-102012-11-22
BEPInternational Conference on Biological Engineering and Pharmacy2016-11-18 2016-12-09
ICEEACInternational Conference on Electrical Engineering and Automation Control2017-04-06 2017-04-21
Related Journals
CCFFull NameImpact FactorPublisherISSN
Journal of Scientific Computing1.710Springer0885-7474
cJournal of Functional Programming1.37Cambridge University Press0956-7968
cJournal of Logic and Computation0.586Oxford University Press0955-792X
bScience of Computer Programming0.828ELSEVIER0167-6423
Cluster Computing2.773Springer1386-7857
Journal of Signal Processing Systems0.551Springer1939-8018
Frontiers of Computer Science0.434Springer2095-2228
cIET Image Processing0.753IET1751-9659
aIEEE Transactions on Mobile Computing IEEE1536-1233
aIEEE Transactions on Image Processing2.918IEEE1057-7149
Full NameImpact FactorPublisher
Journal of Scientific Computing1.710Springer
Journal of Functional Programming1.37Cambridge University Press
Journal of Logic and Computation0.586Oxford University Press
Science of Computer Programming0.828ELSEVIER
Cluster Computing2.773Springer
Journal of Signal Processing Systems0.551Springer
Frontiers of Computer Science0.434Springer
IET Image Processing0.753IET
IEEE Transactions on Mobile Computing IEEE
IEEE Transactions on Image Processing2.918IEEE
Recommendation