[1-4] Mailing Lists and Journals

Constraint Logic Programming
clp-request@cis.ohio-state.edu

For those interested in the CLP(R) Language:
clpr-users-request@cis.ohio-state.edu

Both the above lists are maintained by Spiro Michaylov
<spiro@cis.ohio-state.edu>. E-mail the given addresses for more info.

The list clp-request.All_Areas@xerox.com, aimed at Concurrent
Logic Programming, no longer exists, according to Vijay Saraswat
(information via David Joslin).

Constraint Satisfaction Problem (CSP)
To subscribe, send e-mail to listserver@saturne.cert.fr in the form
"SUB CSP-LIST <name>". (Send submissions to <csp-list@saturne.cert.fr>.)
List maintained by Thomas Schiex <schiex@cert.fr>. Previous articles are
archived at the same place as this FAQ; availble via WWW or ftp from
ftp.cs.city.ac.uk:/pub/constraints/archive/csp-list

Intelligent Decision Support System Mailing List [not completely
relevant, but to some extent related to applications of constraints] To
post to the list e-mail <IDSS@socs.uts.EDU.AU>. Subscription requests
should be sent to <idss-request@socs.uts.EDU.AU>

The Journal of Functional and Logic Programming (JFLP) is a new
electronic journal that covers a broad scope of topics from functional
and logic programming. It is specially concerned with the integration
of the functional and logic paradigm as well as their common
foundations. The Journal expects articles ranging from the theoretical
foundations of functional and logic programming up to the application
of such languages ``in the real world''. The Journal is published by
The MIT Press. See either of the following URL's for more details
http://mitpress.mit.edu/jrnls-catalog/jflp.html
http://www.cs.tu-berlin.de/~chak/jflp/

Various AI and Logic Programming journals are likely to have articles on
constraints, including `AI Journal'.

There is now a new journal called CONSTRAINTS, pulished by Kluwer:

 Editor-in-Chief: Eugene C. Freuder, University of New Hampshire
 (ecf@cs.unh.edu) with web page <http://www.cs.unh.edu/constraints/>

 CONSTRAINTS will be available both as a conventional paper journal and
 in electronic form. Publication will commence in the second half of 1996.

 Aims and Scope: The journal seeks to provide a common forum for the
 many disciplines interested in constraint satisfaction and
 optimization, and the many application domains interested in employing
 constraint technology. It will cover all aspects of computing with
 constraints: theory and practice, algorithms and systems, reasoning
 and programming, logics and languages. Relevant disciplines and
 application domains include, but are not limited to:

 Disciplines

 Artificial Intelligence        
 Programming Languages     
 Operations Research  
 Combinatorial Algorithms
 Discrete Mathematics     
 Databases           
 Computational Logic     
 Symbolic Computation  
 Parallel/Distributed Computing
 Neural Networks      

 Domains

 Scheduling, Planning, Resource Allocation
 Design and Configuration
 Graphics, Visualization, Interfaces  
 Hardware Verification and Software Engineering
 Robotics, Machine Vision  and Computational Linguistics   
 Temporal and Spatial Reasoning
 Qualitative and Diagnostic Reasoning
 Human-Computer Interaction and Decision Support
 Real-Time Systems
 Molecular Biology

 Papers that cut across disciplinary lines, or that combine theory and
 practice, are especially welcome. The journal will also consider
 tutorial and survey papers.

 The Instructions for Authors can be obtained from Miss Kelly Riddle
 via e-mail: krkluwer@world.std.com.