------- Blind-Carbon-Copy X-Mailer: exmh version 2.0.2 2/24/98 To: mbanda Subject: TPLP special issue call for papers Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Date: Mon, 05 Dec 2005 21:09:40 +1100 From: Maria Garcia de la Banda <mbanda@mosca.csse.monash.edu.au> [Apologies for multiple copies] - --------------------------------------------------------------------------- CALL FOR PAPERS Special Issue of Theory and Practice of Logic Programming on Implementation of Logic Programming Systems. Guest Editors: Bart Demoen and Maria Garcia de la Banda Logic programming saw the light more than 30 years ago, with the first implementation of Prolog appearing in 1972 by Philippe Roussel and Alain Colmerauer. Since then, implementation has been one of the driving forces of the field and has generated a significant amount of both theoretical research and running systems. While a certain maturity has been reached for some of the more traditional aspects of Logic Programming, new areas have also emerged and are currently being explored. Work in these new areas has resulted in many different languages and systems such as OZ, Mercury, CIAO, Erlang, XSB, SModels, DLV, ECLiPSe, B-Prolog, HAL, SICStus, etc. Therefore, the journal on Theory and Practice of Logic Programming (TPLP) is planning a special issue on the implementation of logic programming systems to appear in 2007. The aim of this special issue of Theory and Practice of Logic Programming is to attract high-quality research papers on the implementation of logic programming systems. The focus of this issue is on implementation itself, therefore we expect papers whose main contribution resides in presenting implementation issues per se. The emphasis is on system design, implementation techniques, and integration, rather than on topics such as performance, new paradigms, analysis domains or applications. In-depth surveys introducing newcomers into the field and comparisons of different implementation techniques are also solicited. TOPICS Topics of interest include but are not limited to: * Answer set programming * Compilation * Concurrency * Constraint Support * Databases * Debugging * Distributed Programming * Memoization * Memory management * Model generation * Parallelism * Programming environments * System integration Submissions Revised and enhanced versions of papers published at conferences that have not appeared in archival journals are eligible for submission. Papers describing important past research in this area which have not been published in archival journal papers are also solicited. Surveys and comparison of state of the art techniques are also solicited. For any doubt regarding the appropriateness of the topic of a paper for this special issue please email either to Bart Demoen (Bart.Demoen@cs.kuleuven.be) or to Maria Garcia de la Banda (mbanda@csse.monash.edu.au). Papers should be written in English, and formatted using the LaTeX style files developed by Cambridge University Press for TPLP and which can be downloaded from ftp://ftp.cup.cam.ac.uk/pub/texarchive/journals/latex/tlp-cls/ To submit please send an e-mail version to both Bart Demoen (Bart.Demoen@cs.kuleuven.be) and Maria Garcia de la Banda (mbanda@csse.monash.edu.au). For further information, please look at: http://www.csse.monash.edu.au/~mbanda/tplp_special_implementation Important Dates - --------------- First call for papers December 2005 Submission June 15, 2006 Notification February 15, 2006 Final version due: May 1, 2007 Publication 2007/2008 ------- End of Blind-Carbon-Copy