[mercury-users] TPLP special issue second call for papers

[Maria Garcia de la Banda]

------- Blind-Carbon-Copy

X-Mailer: exmh version 2.0.2 2/24/98
To: mbanda, bmd at cs.kuleuven.ac.be
Subject: TPLP special issue second call for papers
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Wed, 31 May 2006 10:14:01 +1000
From: Maria Garcia de la Banda <mbanda at 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 at cs.kuleuven.be) or to Maria Garcia de la Banda
(mbanda at 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 at cs.kuleuven.be) and Maria Garcia de la Banda
(mbanda at 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, 2007
Final version due:
	May 1, 2007
Publication
	2007/2008



------- End of Blind-Carbon-Copy
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------