🚀 go-pugleaf

******************************************************

W       W     CCCC    L      PPPP    ''  9999    3333
 W     W      C       L      P  P    ''  9  9       3
 W  W  W      C       L      PPPP        9999    3333
  W W W       C       L      P              9       3
   W W        CCCC    LLLL   P           9999    3333

******************************************************

       WORKSHOP on CONSTRAINT LOGIC PROGRAMMING
                  March 17-19, 1993
                    C.I.R.M, Luminy,
                      MARSEILLES
                        FRANCE

Dear colleague,

We are organizing in Marseilles the fourth (now traditional)
international  workshop on Constraint Logic Programming,
WCLP'93, 17-19 March 1993.
The workshop will also be the respective
area meeting of COMPULOG NET,
the Network of Excellence in Computational Logic
supported by the Esprit Program of the European Community.

The first workshop on the topic was initiated by Jacques
Cohen and Jean-Louis Lassez in the United States
(Providence, RI, 1988). Since 1991, we have been 
organizing an annual meeting in Marseilles the aim of which 
has been to provide an open
forum for the international community of researchers,
language designers and application developers interested in
exchanging ideas on different topics  related to CLP in a
dynamic and relatively informal  environment.

The first workshop in Marseilles, WCLP'91, was quite a success and
we took it as a basis for a book on CLP, to be published by MIT 
Press.
Last year, as the decision to organize WCLP'92 was made quite late, 
we chose to restrict most of our advertising to the European
Community. We apologize to those of you who would have liked to 
have come and were informed indirectly or too late.

Topics
-------
The topics which seem relevant to us within the framework of this
workshop are:

Constraint resolution in a structure

* Efficient algorithms to check constraint satisfiability in 
standard structures such as : integers, rationals, reals, 
complex numbers, finite domains, lists, boolean algebra, etc.
* Constraint simplification (elimination of redundancies, 
projection and variable elimination, entailment, etc.)

Design of CLP languages

* Choice of a harmonious mixture of different structures
* Efficient approaches based on incomplete algorithms 
(local consistency on discrete and continuous domains, delayed 
constraints, approximated structure, enumeration, pruning, etc.)
* Incremental implementation of specific algorithms
* Memory management and compilation
* Parallelism

Applications

* Industrial applications of CLP
* Mathematical puzzles, problems and various difficult
benchmarks for CLP languages.

Invited talks
-------------
Pascal Van Hentenryck (Brown University, RI, USA): Design, 
implementation, and evaluation of the constraint
language cc(FD).
William Older (Bell Northern Research, Ottawa, Canada):
Solving optimization problems in CLP(BNR).

Submissions and Registration
----------------------------
In order to ensure the dynamics of the workshop, the 
total number of participants and talks will be limited.
Non-speakers' attendance will be satisfied on a first-come 
first-served basis, and, unfortunately, we are likely to limit the 
number of talks, to avoid the "14 talks a day" pattern we sometimes had
to adopt the previous years.

Whether you want to present your work or simply attend, please 
contact us and send us an extended abstract with the title of the 
talk, author(s)' name(s), surface  and E-mail addresses, (2-3 pages, 
Latex format, preferably by E-mail).

                      BEFORE January 12th 1992,

                                  to
                          Frederic Benhamou
                       Bell Northern Research
                       P.O. Box 3511, Station C
                          Ottawa, Ontario,
                           K1Y 4H7 Canada
                      Phone : +1 (613) 763 58-42
                      Fax   : +1 (613) 763 20-00
                      Net   : benhamou@bnr.ca


Acceptance will be notified by mid-February.

Travel and Accomodation
-----------------------

The CIRM is located on the campus of the University of 
Marseille-Luminy, within walking distance of remote pine
forests and seaside areas surrounded by cliffs, known
as the "Calanques" and reachable only by hiking trails.
Accomodations and meals at reasonable prices are available for about 
30-40 people at the CIRM and there are also some  nice hotels not to 
far from the  campus (city buses available). 

Registration is free, but transportation, food and lodging is at 
your own expense. However, speakers will have the opportunity
to stay at the CIRM and to have their accomodation partly 
subsidized by the organization. Please let us know if you would be 
willing to share a room at the CIRM 

Please address your questions about accomodation, transportation, 
maps, etc to Pamela Morton, who is the (native english speaking) 
secretary of the workshop:
     
Phone: +33 91 26 93 16. Fax: +33 91 26 92 75
E-mail: morton@gia.univ-mrs.fr (cc: benhamou@bnr.ca)

Sponsors
--------

The workshop will be sponsored by the Faculty of Luminy 
(University of Marseilles) and COMPULOG NET.



We are looking forward to seeing you soon in Marseilles.
Best regards,

Frederic Benhamou, Alain Colmerauer and Gert Smolka
WCLP'93 organizers

Here follows the CFP in LaTeX format :

\documentstyle{article}
\title{WCLP'93\\
       Workshop on\\
       Constraint Logic Programming}
\author{CIRM, Marseille, Luminy\\
         March 17-19, 1993}
\date{}
\pagestyle{empty}
\begin{document}
\maketitle

\noindent
Dear colleague,

\medskip

We are organizing in Marseilles the fourth (now traditional)
international  workshop on Constraint Logic Programming,
WCLP'93, 17-19 March 1993.
The workshop will also be the respective
area meeting of COMPULOG NET,
the Network of Excellence in Computational Logic
supported by the Esprit Program of the European Community.

The first workshop on the topic was initiated by Jacques
Cohen and Jean-Louis Lassez in the United States
(Providence, RI, 1988). Since 1991, we have been 
organizing an annual meeting in Marseilles the aim of which 
has been to provide an open
forum for the international community of researchers,
language designers and application developers interested in
exchanging ideas on different topics  related to CLP in a
dynamic and relatively informal  environment.

The first workshop in Marseilles, WCLP'91, was quite a success and
we took it as a basis for a book on CLP, to be published by MIT 
Press.
Last year, as the decision to organize WCLP'92 was made quite late, 
we chose to restrict most of our advertising to the European
Community. We apologize to those of you who would have liked to 
have come and were informed indirectly or too late.
\subsection*{Topics}
The topics which seem relevant to us within the framework of this
workshop are:\\
\\
{\bf Constraint resolution in a structure}
\begin{enumerate}
\item Efficient algorithms to check constraint satisfiability in 
standard structures such as : integers, rationals, reals, 
complex numbers, finite domains, lists, boolean algebra, etc.
\item  Constraint simplification (elimination of redundancies, 
projec\-tion and va\-ria\-ble eli\-mination, entailment, etc.)
\end{enumerate}
{\bf Design of CLP languages}
\begin{enumerate}
\item Choice of a harmonious mixture of different structures
\item Efficient approaches based on incomplete algorithms 
(local consistency on discrete and continuous domains, delayed 
constraints, approximated structure, enumeration, pruning, etc.)
\item Incremental implementation of specific algorithms
\item Memory management and compilation
\item Parallelism
\end{enumerate}
{\bf Applications}
\begin{enumerate}
\item Industrial applications of CLP
\item Mathematical puzzles, problems and various difficult
benchmarks for CLP languages.
\end{enumerate}
\subsection*{Invited talks}
Pascal Van Hentenryck (Brown University, RI, USA): {\em Design, 
implementation, and evaluation of the constraint
language cc(FD).}\\
William Older (Bell Northern Research, Ottawa, Canada):
{\em Solving optimization problems in CLP(BNR).}
\subsection*{Submissions and Registration}
In order to ensure the dynamics of the workshop, the 
total number of participants and talks will be limited.
Non-speakers' attendance will be satisfied on a first-come 
first-served basis,
and, unfortunately, we are likely to limit the number of talks,
to avoid the "14 talks a day" pattern we sometimes had
to adopt the previous years.

Whether you want to present your work or simply attend, please 
contact us and send us an extended abstract with the title of the 
talk, author(s)' name(s), surface  and E-mail addresses, (2-3 pages, 
Latex format, preferably by E-mail).
\begin{center}
{\bf BEFORE January 12th 1992,}\\
to\\
Fr\'ed\'eric Benhamou\\
Bell Northern Research\\
P.O. Box 3511, Station C\\
Ottawa, Ontario,\\
K1Y 4H7 Canada\\
Phone : +1 (613) 763 58-42\\
Fax   : +1 (613) 763 20-00\\
Net   : benhamou@bnr.ca
\end{center}

Acceptance will be notified by mid-February. Finally, there are 
certainly many people missing from our mailing list. 
Feel free to talk about the workshop and to pass along copies of this
call for communications around you.

\subsection*{Travel and Accomodation}
The CIRM is located on the campus of the University of 
Marseille-Luminy, within walking distance of remote pine
forests and seaside areas surrounded by cliffs, known
as the "Calanques" and reachable only by hiking trails.
Accomodations and meals at reasonable prices are available for about 
30-40 people at the CIRM and there are also some  nice hotels not to 
far from the  campus (city buses available). 

Registration is free, but transportation, food and lodging is at 
your own expense. However, speakers will have the opportunity
to stay at the CIRM and to have their accomodation partly 
subsidized by the organization. Please let us know if you would be 
willing to share a room at the CIRM 

Please address your questions about accomodation, transportation, 
maps, etc to Pamela Morton, who is the (native english speaking) 
secretary of the workshop:
     
\begin{center}
Phone: +33 91 26 93 16. Fax: +33 91 26 92 75\\
E-mail: morton@gia.univ-mrs.fr (cc: benhamou@bnr.ca)
\end{center}

\subsection*{Sponsors}
The workshop will be sponsored by the Faculty of Luminy 
(University of Marseilles) and COMPULOG NET.\\
\\
\noindent We are looking forward to seeing you soon in Marseilles.\\
Best regards,

\bigskip

\noindent
Fr\'ed\'eric Benhamou, Alain Colmerauer and Gert Smolka\\
WCLP'93 organizers

\end{document}


Keywords: