new logic programming journal

% This announcement and call for papers may be of interest to types readers
% for 2 reasons:
% 1. Types are widely used in logic programming.
% 2. This journal was founded by the editors who collectively resigned
%    from the Journal of Logic Programming of Elsevier. 
%    The issue was the price of the library subscriptions.
%             -- Krzysztof R. Apt


The Association for Logic Programming (ALP, http://www.cwi.nl/projects/alp) 
is pleased to announce the formation of a new journal


devoted to logic programming, to be published by the Cambridge
University Press as of January 2001.

TPLP will be served by an Editorial Board which will consist of the
members of the Editorial Board which until the end of 1999 served the
Journal of Logic Programming (JLP).  The Board considered it important
that ALP should adopt a new official journal with a different pricing
policy.  TPLP will be the sole official journal of the ALP and will be
offered to its members at a preferential rate.

The Founding Editor of the journal is Professor Emeritus Jack Minker
of the University of Maryland.

Krzysztof R. Apt
president of the
Association for Logic Programming


                      CALL FOR PAPERS

The Cambridge University Press is pleased to announce a new journal
devoted to logic programming:

             Theory and Practice of Logic Programming (TPLP)

TPLP will appear as of January 2001.  It will initially be published
bi-monthly in both print and electronic form. The actual extent and
subscription price of TPLP will be announced in the year 2000.

TPLP will be the sole official journal of the Association for Logic
Programming (ALP, http://www.cwi.nl/projects/alp) and will be offered
to its members at a preferential rate.

The CUP allows posting of the submitted and of accepted papers to TPLP
on personal home pages and in the Computing Research Repository (CoRR)
(http://xxx.lanl.gov/archive/cs/intro.html), in the latter case
provided that a clear reference is made that the paper is to appear in
the Journal, or has been published and appears under the Journal

The TPLP will emphasize both the theory and the practice of logic
programming.  Logic applies to all areas of artificial intelligence
and computer science.  Logic programming is fundamental to these
areas.  Among the topics to be covered by the TPLP are AI applications
that use logic programming, natural language processing, knowledge
representation, nonmonotonic reasoning, databases, implementations
and architectures, and constraint logic programming.  In addition to
these topics, reviews of books will be featured, as will successful
cases of elegant and efficient logic programs, to appear in a
section called Logic Programming Pearls.

The preferred form of submission is by sending two email messages, the
first one with the information containing the title, the author(s),
and the abstract of the submission, and the second one with the
Postscript file. Both emails should be sent to the appropriate Area
Editor with a copy to the Editor-in-Chief.

Paper submissions (four copies to the appropriate Area Editor and one
copy to the Editor-in-Chief) are also acceptable, but their handling
may be delayed.  The submitted manuscripts should not be published or
simultaneously submitted to another journal or to a conference.  Full
versions of important conference papers are welcome.  Upon acceptance
of an article by the journal, the author(s) will be asked to transfer
copyright of the article to the CUP.


Jack Minker    


Krzysztof R. Apt          Book Section Editor

Veronica Dahl             Natural Language, Logic Programming Methodology
veronica@cs.sfu.ca        & Applications

Michael Gelfond           Knowledge Representation and Nonmonotonic Reasoning

Georg Gottlob             Complexity, Databases

Manuel Hermenegildo       Implementation and Architectures

Joxan Jaffar              Constraints

Giorgio Levi              Theory

Lee Naish                 Logic Programming Pearls Section

Peter J. Stuckey          Technical Notes

Kazunori Ueda             Design and Analysis of Languages and Systems


M. Carlsson	
D. De Schreye	
S.K. Debray	
K. Furukawa
G. Gupta	
S. Haridi	
D. Kapur	
M. Kifer	
C. Kirchner	
R.A. Kowalski	
V. Lifschitz	
J.W. Lloyd
M. Maher	
J. Maluszynski	
K. Marriott	
J. McCarthy	
C.S. Mellish	
D. Miller	
U. Montanari	
S. Muggleton	
C. Palamidessi	
F. Pereira	
L.M. Pereira	
T.C. Przymusinski 
R. Ramakrishnan
R. Reiter	
Y. Sagiv
V. Saraswat	
T. Sato		
G. Smolka	
L. Sterling	
V.S. Subrahmanian 
P. Szeredi	
P. Van Hentenryck 
D.S. Warren	
C. Zaniolo	


Jack Minker, Professor Emeritus
Department of Computer Science and
Institute for Advanced Computer Studies
University of Maryland
College Park, Maryland 20742

Krzysztof R. Apt
Kruislaan 413
1098 SJ Amsterdam
The Netherlands

Veronica Dahl
Computing Sciences Department
Simon Fraser University
Burnaby, B.C., V5A 1S6, Canada

Michael Gelfond
Department of Computer Science
University of Texas at El Paso
El Paso, TX 79968

Georg Gottlob
Institut fuer Informationssysteme
Technische Universitaet Wien
A-1040 Vienna

Manuel Hermenegildo
Facultad de Informatica
Universidad Politecnica de Madrid
E-28660 Boadilla del Monte

Joxan Jaffar
Department of Computer Science
National University of Singapore
3 Science Drive 2
Singapore 117543

Giorgio Levi
Dipartimento di Informatica
Universita di Pisa
Corso Italia 40
I-56125 Pisa, Italy

Lee Naish
Department of Computer Science 
and Software Engineering
University of Melbourne
Parkville, Victoria 3010

Peter J. Stuckey
Department of Computer Science 
and Software Engineering
University of Melbourne
Parkville, Victoria 3010

Kazunori Ueda
Department of Information and Computer Science
Waseda University
4-1, Ohkubo 3-chome, Shinjuku-ku
Tokyo 169