Next:

Call for Papers

Call for Papers
Post-ILPS'94 Workshop
Design and Implementation of Parallel Logic Programming Systems
Sheraton Inn, Ithaca, NY, U.S.A.
November 17 or 18, 1994

The last few years have seen progressively increasing availability of powerful multiprocessor computers in almost every academic and commercial computing environment. This trend is making parallel programming languages one of the most valuable areas of research in computer science. In particular, Parallel Logic Programming seems to offer one of the best alternatives, coupling a very high level of abstraction, guaranteed by its declarative nature, to an extreme flexibility in the design of the operational semantics.

Topics of Interest

The main purpose of this Post-conference workshop is to bring together researchers in the field of parallel logic programming, in order to exchange experiences and ideas and discuss the main open problems.

The discussion will be focused on both design and implementation of parallel logic programming systems. Topics include (but are not restricted to) the following:

• implicit exploitation of And-, Or-, and Stream-Parallelism;
• abstract interpretation for parallel systems and other compile time analysis techniques;
• the Andorra Principle and its applications;
• visualization tools for parallel systems.
• Data Parallel Logic Programming;
• Concurrent Logic Programming;
• Process-based Parallel Logic Programming;
• Practical Experiences and Applications of Parallel Logic Programming.

Workshop Format

The workshop is held in conjunction with the 1994 International Logic Programming Symposium (ILPS'94), which will be held from November 13 to November 17, 1994. The worshop will be organized in three sessions:

1. an initial session devoted to presentations;
2. a session devoted to system demonstrations and/or description of results obtained on existing implementations;
3. a panel session dedicated to evaluating state-of-the-art and identifying future directions of research in parallel logic programming.

The workshop will also feature one or two invited talks.

Paper Submissions

Papers must not exceed 10 pages (approximately 4000 words), and the title page should include each author's name, address, telephone number and electronic mailing address. We invite people interested in giving system demonstration to submit a short description of the system and the results obtained. We encourage authors to submit papers electronically, preferably in LaTeX format. A suggested LaTeX style file is available via anonymous ftp at pub.cs.nmsu.edu, directory pub/ilps94/. At least one of the authors for each accepted papers is expected to attend the workshop and present the work. The collection of accepted papers will be available at the workshop. People interested in attending this workshop are encouraged to submit a note of interest by electronic mail to the workshop organizers.

Important dates

Organizing Committee

 
 Organizers: Enrico Pontelli, Gopal Gupta

		Laboratory for Logic, Databases, and Advanced Programming

		Dept. of Computer Science, New Mexico State University

		Box 30001, Dept. CS

		Las Cruces, NM 88003

		Voice (505)646-6236 		Fax (505)646-6218

		e-mail: @cs.nmsu.edu



 




 Enrico Pontelli