Multiparadigm programming languages combine different programming paradigms, such as functional, logic, imperative, constraint or concurrent ones. The idea of a multiparadigm language is to increase expressiveness and problem-solving power such that the programmer can use a wide range of styles and language features from different paradigms. While the integration of constraints into general-purpose programming languages has been widely investigated for the case of logic programming, interesting solutions have been obtained as well by merging constraints and languages not based on a purely logic paradigm.
The aim of the workshop is to bring together people interested in multiparadigm constraint programming, language design and implementation to communicate and discuss recent developments, work in progress, and new research directions in combining constraints with languages that are not purely logic based, like imperative, object-oriented, functional, and functional-logic languages.
This workshop addresses all aspects of multiparadigm constraint programming. Topics of interest include but are not limited to:
| 13.30 - 14.00 | Pascal Brisset and Nicolas Barnier. | FaCiLe: a Functional Constraint Library. |
| 14:00 - 14:30 | Matthias M. Hölzl. | Constraint-Functional Programming based on Generic Functions. |
| 14:30 - 15:00 | Alexei A. Morozov. | On Semantic Link between Logic, Object-Oriented, Functional and Constraint Programming. |
| 15:00 - 15:30 | Coffee | |
| 15:30 - 16:00 | Michael J. Maher. | Analysis of a Global Contiguity Constraint. |
| 16:00 - 16:30 | Sebastian Brand. | A Note on Redundant Rules in Rule-based Constraint Programming. |
Authors are invited to submit a paper up to 15 pages in length. We encourage authors to submit papers electronically as postscript file or pdf-file (possibly compressed using gzip/winzip). Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style.
Please send your submissions by email to multicpl02@cs.tu-berlin.de. Submissions should include the title of the paper, an abstract, authors' names, addresses, and e-mail. If you have any problems with submitting papers, please send an email to multicpl02@cs.tu-berlin.de.
Accepted papers will be available electronically from this web-page and in hard-copy proceedings (available at the workshop).
At least one author of each accepted submission must attend the workshop. All workshop participants must pay the CP workshop registration fee.
| Submission of papers: | July 15, 2002 |
| Notification of acceptance: | July 25, 2002 |
| Camera-ready-copy deadline: | August 5, 2002 |
| Workshop: | September 8, 2002 |
Michael Hanus (University of Kiel)
Petra Hofstedt (University of Berlin)
Slim Abdennadher (University of Munich)
Slim Abdennadher (University of Munich)
Michael Hanus (University of Kiel)
Petra Hofstedt (University of Berlin)
Herbert Kuchen (University of Münster)
Christian Schulte (KTH - Royal Institute of Technology Stockholm)
Armin Wolf (Fraunhofer FIRST Berlin)
MultiCPL 2002
Petra Hofstedt
University of Technology Berlin
Department of Computer Science
Franklinstr. 28/29
Sekr. 5-13
D - 10587 Berlin,
Germany
Phone: +49-(0)30-314-24282
Fax : +49-(0)30-314-73623
Email: multicpl02@cs.tu-berlin.de
The Call for Papers is available as:
plain text,
Postscript file,
PDF file,
HTML.