[m-ads] ICLP 2017 CFP, In Melbourne!

[Paul Bone]

ICLP is in our home town (Melbourne) this year.

Anyone working on anything interesting, the CFP is here:

http://iclp17.a4lp.org/call_for_papers.html

------

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 abstract registration:           March 6, 2017
RP submission:                      March 13, 2017
RP first notification:              April 24, 2017
TC (extra) submission:              May 1, 2017
RP revision submission:             May 15, 2017
Final notifications (RPs + TCs):    May 29, 2017
Camera-ready copy (RPs + TCs):      June 19, 2017
Conference:                         August 28 / September 1, 2017


-- 
Paul Bone
http://paul.bone.id.au