2nd International Workshop on

Multiparadigm Constraint Programming Languages

MultiCPL'03

At the Ninth International Conference on

Principles and Practice of Constraint Programming, CP2003

Kinsale, County Cork, Ireland,
Monday, 29th of September, 2003

 Overview | ImportantDates | Submission
Organization | Contact Information | Call for Papers

Programme

Proceedings (pdf)

Overview

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. 

Many different approaches to the integration of programming paradigms have been explored in recent years, like the combination of functional and logic languages (e.g., Curry, Mercury, Toy), logic and concurrent languages (e.g., Oz and CHR), logic and imperative languages (e.g., Alma-0), among many other proposals.

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 integration of constraints with other programming paradigms, even if it is not that exhaustively examined, is as well promising and a topic of current research.

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, functional-logic languages.

This workshop will address all aspects of multiparadigm constraint programming. Topics of interest include but are not limited to:

  • Combining constraints with
    • imperative,
    • object-oriented,
    • concurrent,
    • functional, or
    • functional logic languages,
  • Language Concepts,
  • Implementation,
  • Theory and Semantics,
  • Applications

Submission

Authors are invited to submit a paper up to 12 pages in length including figures and references. We encourage authors to submit papers electronically as postscript file or pdf-file (preferably compressed using gzip/winzip). Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style.

Please send your submissions by email to multicpl03@uebb.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 multicpl03@uebb.cs.tu-berlin.de or ph@cs.tu-berlin.de (Petra Hofstedt).

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.

Programme

9:00-9:30
 Alfred Spiessens, Raphael Collet, and Peter Van Roy
 Declarative Laziness in a Concurrent Constraint Language
9:30-10:00
 Luis Quesada, Stefano Gualandi, and Peter Van Roy Implementing a Distributed Shortest Path Propagator with Message Passing
10:00-10:30
 James Little, Eugene Freuder, and Paidi Creed Game-based CSP
10:30-11:00
Coffee Break
11:00-11:30
 Martin Grabmüller Implementing Constraint Imperative Languages with Higher-order Functions
11:30-12:00
 Olaf Krzikalla Constraint Imperative Programming with C++
12:00-12:30
 Matthias Hoche, Henry Müller, Hans Schlenker, and Armin Wolf firstcs - A Pure Java Constraint Programming Engine

Important Dates

Submission of papers: July 28, 2003
Notification of acceptance: August 12, 2003
Camera-ready-copy deadline: August 25, 2003
Workshop: September 29, 2003

Organization

Workshop Organizers

Michael Hanus (University of Kiel)
Petra Hofstedt (University of Berlin)
Armin Wolf (Fraunhofer FIRST Berlin)

Program Committee

Slim Abdennadher (University of Munich)
Thom Frühwirth (University of Ulm)
Martin Grabmüller (University of Berlin)
Michael Hanus (University of Kiel)
Petra Hofstedt (University of Berlin)
Georg Ringwelski (Cork Constraint Computation Center)
Peter Stuckey (University of Melbourne)
Armin Wolf (Fraunhofer FIRST Berlin)

Contact Information/Main Organizer

MultiCPL 2003
Petra Hofstedt
University of Technology Berlin
Department of Computer Science
Franklinstr. 28/29
Sekr. FR 5-13
D - 10587 Berlin, Germany
Phone: +49-(0)30-314-24282
Fax : +49-(0)30-314-73623
Email: ph@cs.tu-berlin.de

Call for Papers

The Call for Papers is available as:
plain text, Postscript file, PDF file, HTML