3rd International Workshop on

Multiparadigm Constraint Programming Languages

MultiCPL'04

colocated with the 14th Workshop on Logic Programming Environments,WLPE'04

At the 20th International Conference on Logic Programming, ICLP'04

Saint-Malo, France, 6-10 September, 2004

 Overview | Submission | Important Dates | Organization | Contact | Call for Papers

Programme | Proceedings

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 functional logic, functional, imperative and object-oriented languages.

The first and second MultiCPL-Workshops have been held at the Eighth and Ninth International Conferences on Principles and Practice of Constraint Programming - CP2002 (Ithaca, NY, USA) and CP 2003 (Kinsale, Ireland), respectively.

This workshop will address all aspects of multiparadigm constraint programming. Topics of interest include but are not limited to:
  • Combining constraints and logic languages with
    • imperative,
    • object-oriented,
    • concurrent,
    • functional, or
    • functional logic languages,
  • Language Concepts,
  • Implementation,
  • Theory and Semantics,
  • Applications


Programme

Proceedings (pdf, ps.gz)

Monday, September 6th
WLPE session, 14:30-16:30

  • 14:30-15:30: Invited Talk. Regular types, modes and model checking
    John Gallagher

  • 15:30-16:00: On termination of binary CLP programs
    Alexander Serebrenik and Fred Mesnard

  • 16:00-16:30: Upsh: A Unix to Prolog Shell
    Nicos Angelopoulos

Tuesday, September 7th
MultiCPL session, 11:00 - 12:30

  • 11:00-11:30: Assumptions and Abduction in Prolog
    Henning Christiansen and Veronica Dahl

  • 11:30-12:00: Strategies for the Efficient Solution of Hybrid Constraint Logic Programs
    Stephan Frank, Petra Hofstedt, and Dirk Reckmann

  • 12:00-12:30: Towards Temporal Reasoning in Constraint Contextual Logic Programming
    Vitor Beires Nogueira, Salvador Abreu, and Gabriel David

WLPE session, 14:30 - 17:00

  • 14:30-15:30: Invited talk. Prolog Models for the Model-View-Controller Paradigm
    David S. Warren

  • 15:30-16:00: A Logic Programming-based Environment for Integrating Architecture Description Languages
    Qian Wang and Gopal Gupta

  • 16:00-16:30: FDBG, the CLP(FD) Debugger Library of SICStus Prolog
    Dávid Hanák and Tamás Szeredi

  • 16:30-17:00: Explanations to Understand the Trace of a Finite Domain Constraint Solver
    Gérard Ferrand, Willy Lesaint, and Alexandre Tessier


Submission
Authors are invited to submit a paper up to 15 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 multicpl04@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 multicpl04@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).


Important Dates
Submission of papers: May 9, 2004
Notification of acceptance: May 23, 2004
Camera-ready-copy deadline: June 6, 2004
Workshop: September 7, 2004


Organization

Program Committee

Elvira Albert (Complutense University of Madrid)
Michael Hanus (University of Kiel)
Petra Hofstedt (University of Berlin)
Peter Van Roy (Université catholique de Louvain)


Contact Information / Workshop Coordinator

MultiCPL 2004
Petra Hofstedt
University of Technology Berlin
Department of Computer Science
Franklinstr. 28/29
Sekr. FR 5-13
D - 10587 Berlin, Germany
Phone: +49-30-314-24282
Fax : +49-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