2nd CfP: ECAI'94 Workshop on Constraint Processing

2nd CfP: ECAI'94 Workshop on Constraint Processing

Post by Manfred Mey » Fri, 18 Mar 1994 03:44:15



   Here comes an updated Announcement and Call for Papers for the Workshop
   on Constraint Processing at ECAI'94. Please note the invited lecture by
   Eugene Freuder and the publication of selected papers in Springer LNAI.
   Please distribute this announcement and especially the concise one-page
   LaTeX version to your colleagues that may be interested to participate.

   Looking forward to meeting you in Amsterdam!
                                                   Manfred Meyer

   ------------------------------------------------------------------------
                   SECOND ANNOUNCEMENT AND CALL FOR PAPERS
   ------------------------------------------------------------------------

                      WORKSHOP ON CONSTRAINT PROCESSING

                               August 8th, 1994

            A one-day workshop to be held in conjunction with the

        11th European Conference on Artificial Intelligence (ECAI'94)
               Amsterdam, The Netherlands, August 8-12th, 1994

   An increasing  number of researchers all over the world  are now dealing
   with different  aspects of constraint processing  regarded as a  general
   paradigm  of computation.  However, the constraint processing  community
   appears to be  very heterogeneous:   Researchers from logic programming,
   knowledge representation,  expert systems, theoretical computer science,  
   operations research  and other  related fields are investigating the use
   of constraint processing methods, their theoretical foundations, as well
   as their  applications  to real-life  problems.  Up to now there has not
   been much effort to bring together researchers working  on or interested
   in constraint processing  from different viewpoints and  to work out the
   common principles,  vocabulary,  and techniques that are used as well as
   similarities and differences between various viewpoints.

   This workshop aims at bringing together researchers working on different
   aspects  of  constraint  processing  in order  to exchange,  compare and
   contrast  basic  viewpoints,  different  approaches and  recent research
   results.  Thus, the workshop is planned  as an interdisciplinary meeting
   of  researchers as well as practitioners with an  active interest in the
   area of constraint processing. It will provide an international forum to
   discuss and exchange  new ideas and approaches,  and to present not only  
   full-blown research papers but also partial results, position papers and
   reports on ongoing research. By that, it is hoped that a fruitful cross-
   fertilization among the various disciplines will result.

   Work on  all different aspects of  constraint processing  is of specific
   interest for the workshop, including

     *  constraint-satisfaction methods and consistency techniques,
     *  constraint logic programming,
     *  concurrent constraint languages,
     *  constraints and knowledge representation,
     *  object-oriented constraint processing,
     *  constraint programming,
     *  constraint maintenance,
     *  constraints identification, specification, management and
        implementation techniques,
     *  over-specified constraint problems and constraint relaxation,
     *  creation and execution of constraint-satisfaction plans,
     *  constraint refinement,
     *  hierarchical constraint problems,
     *  parallel and distributed computing with constraints,
     *  finite (discrete) as well as continuous domain handling,
     *  real-time constraints,
     *  relations to operations research or deductive databases,
     *  constraint processing in computer graphics,
     *  theoretical foundations,
     *  complexity results, and
     *  reports showing the practical relevance of constraint processing
        and what basic techniques are needed in practice.

   WORKSHOP FORMAT

   The workshop is  planned as a combination  of presentations of submitted
   papers,  an invited lecture by a  leading researcher in  constraint pro-
   cessing, and a round-table discussion  that shall stimulate the exchange
   of new ideas and approaches among the participants.  

   KEYNOTE SPEECH:

   "The Many Paths to Satisfaction"
   Eugene C. Freuder (University of New Hampshire, USA)

   PROCEEDINGS:

   Workshop notes including  all papers accepted  for presentation  will be
   distributed to all participants.

   Revised versions of the best papers will be published by Springer Verlag
   within the Lecture Notes in Artificial Intelligence (LNAI) series.

   PAPER SUBMISSION

   People interested in giving a  presentation at the workshop  are invited
   to submit an extended abstract (no more than eight pages, single-spaced,
   one column, 12pt),  preferably by e-mail (LaTeX/PostScript are welcome).  
   Authors not having e-mail access  should send 4 copies.  Persons wishing  
   to participate without giving a presentation  should submit a brief (one
   page) abstract describing  their research and/or interest  in constraint
   processing. However, priority will be given to people submitting papers.

   Submissions should arrive before  April 14th, 1994  at the address given
   below.  Notification of receipt will  be mailed to the  first author (or
   designated author).  On the first page include  the name, address, phone
   and fax number, and e-mail address of the author designated for contact.
   Notifications of acceptance will be mailed by May 16th, 1994. Authors of
   accepted papers  will be invited to submit full papers of up to 15 pages
   by June 8th, 1994  to be included  in the workshop notes  distributed to
   all participants.  Revised versions of the best papers will be published
   in  book format  by Springer-Verlag  (Lecture Notes in AI).  Please send
   your submissions and inquiries to:

     Manfred Meyer
     German Research Center for Artificial Intelligence (DFKI)
     Erwin-Schroedinger-Strasse 57
     P.O. Box 20 80
     D-67608 Kaiserslautern

     phone:  +49 631 205 3468
     fax:    +49 631 205 3210
     e-mail: me...@dfki.uni-kl.de

   ORGANIZING COMMITTEE

     Philippe Codognet (INRIA Rocquencourt, Le Chesnay, France)
     Hans Werner Guesgen (University of Auckland, New Zealand)
     Walter Hower (Uni Koblenz-Landau, Koblenz, Germany)
     Manfred Meyer (DFKI, Kaiserslautern, Germany)

   ECAI REGISTRATION POLICY

     Following the ECAI registration policy, all workshop participants will
     have to register for the main conference.

   IMPORTANT DATES

     Submissions due:      April 14th, 1994
     Notification:         May   16th, 1994
     Full papers due:      June   8th, 1994
     Workshop:             August 8th, 1994

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% LaTeX Version %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\setlength{\oddsidemargin}{-1.85cm}
\setlength{\evensidemargin}{-1.85cm}
\setlength{\topmargin}{-1.7cm}
\setlength{\headsep}{0.0in}
\setlength{\textwidth}{19.25cm}
\setlength{\textheight}{28cm}
\pagestyle{empty}
\hbadness=10000
\begin{document}
\fbox{\fbox{\parbox{18.2cm}{\begin{center}
{\large {\em Second Announcement and Call for Papers}} \\[1.5ex]
{\large {\bf ECAI'94 Workshop on}} \\[1ex]
{\Large {\bf CONSTRAINT PROCESSING}} \\ [1ex]
{\large August 8th, 1994} \\
{\large Amsterdam, The Netherlands}
\vspace*{1mm}
\rule{18.2cm}{0.3mm}
\vspace*{-7mm}
\end{center}
\begin{minipage}[b]{6.0cm}
\parindent0em
{\bf Organizing Committee:}\vspace*{1mm}\\
\hspace*{3mm} Philippe Codognet\\
\hspace*{3mm} {\small (INRIA Rocquencourt, France)}\\
\hspace*{3mm} Hans Werner Guesgen\\
\hspace*{3mm} {\small (University of Auckland, New Zealand)}\\
\hspace*{3mm} Walter Hower\\
\hspace*{3mm} {\small (Uni Koblenz-Landau, Germany)}\\
\hspace*{3mm} Manfred Meyer\\
\hspace*{3mm} {\small (DFKI Kaiserslautern, Germany)}\vspace*{2.70mm}\\
{\bf Contact:}\vspace*{1mm}\\
\hspace*{3mm} Manfred Meyer \\
\hspace*{3mm} German Research Center for\\
\hspace*{3mm} Artificial Intelligence (DFKI) \\
\hspace*{3mm} Erwin-Schr{\"o}dinger-Stra{\ss}e 57,\\
\hspace*{3mm} P.O.~Box 20 80 \\
\hspace*{3mm} D-67608 Kaiserslautern, Germany
\vspace*{-0.11in}
\begin{tabbing}{\topsep0mm\parskip0mm\partopsep0mm}
\hspace*{3mm}\= Phone: \hspace{1.5mm}\= +49 631 205 3468\\
\hspace*{3mm}\> Fax:                 \> +49 631 205 3210\\
\hspace*{3mm}\> E-mail:              \> me...@dfki.uni-kl.de
\vspace*{2.70mm}\\
\end{tabbing}
\vspace*{-0.11in}
{\bf Keynote Speech:}\vspace*{1mm}\\
\hspace*{3mm} {\it "The Many Paths to Satisfaction"}\\
\hspace*{3mm} Eugene C.~Freuder \\
\hspace*{3mm} {\small (University of New Hampshire, USA)}\vspace*{2.70mm}\\
{\bf Proceedings:}\vspace*{1mm}\\
\hspace*{3mm}
\begin{minipage}[t]{5.5cm} \sloppy
Workshop notes including all papers accepted for presentation will be
distributed to all participants. \\
Revised versions of the best papers will be published in book format by
Springer within Lecture Notes in AI.
\end{minipage}
\vspace*{2.70mm}\\
{\bf ECAI Registration Policy:}\vspace*{1mm}\\
\hspace*{3mm}
\begin{minipage}[t]{5.5cm} \sloppy
All workshop participants will have to register for the main conference.
\end{minipage}
\vspace*{2.70mm}\\
{\bf Important Dates:}\vspace*{1mm}\\
\hspace*{3mm} Submissions\dotfill{\bf April 14th, 1994}\\
\hspace*{3mm} Notification\dotfill{\bf May 16th, 1994}\\
\hspace*{3mm} Final Version\dotfill{\bf June 8th, 1994}
\end{minipage}
\hspace*{1mm}\rule{.3mm}{17.5cm}\hspace*{1mm}
\begin{minipage}[b]{11.8cm}
An increasing number of researchers all over the world are now dealing
with different  aspects of constraint  processing  regarded as a general
paradigm  of computation.  However, the constraint  processing community
appears to be  very heterogeneous:   Researchers from logic programming,
knowledge representation,  expert systems, theoretical computer science,
operations research  and other  related fields are investigating the use
of constraint processing methods, their theoretical foundations, as well
as their applications  to real-life problems.  Up to
now there has not been much effort to bring together researchers working
on or interested in constraint processing  from different viewpoints and
to work out the common principles,  vocabulary,  and techniques that are
used as well as similarities and differences between various viewpoints.
\setlength{\parindent}{1.5em}
\par
This workshop aims at bringing together researchers working on different
aspects  of  constraint  processing  in order  to exchange,  compare and
contrast  basic  viewpoints,  different  approaches and  recent research
results.  Thus, the workshop is planned  as an interdisciplinary meeting
of  researchers as well as practitioners with an  active interest in the
area of constraint processing. It will provide an international forum to
discuss and exchange  new ideas and approaches,  and to present not only
full-blown research papers but also partial results, position papers and
reports on ongoing research. By that, it is hoped that a fruitful
cross-fertilization among the various disciplines will result.
\par
Work on all different aspects of constraint processing  is of specific
interest for the workshop, including
\par
\vspace*{2mm}
\setlength{\parindent}{0mm}
\begin{minipage}[b]{5.8cm}
\parindent0em
\raggedright
\begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm}
\item constraint-satisfaction methods and consistency techniques,
\item constraint logic programming,
\item concurrent constraint languages,
\item constraints and knowledge representation,
\item object-oriented constraint processing,
\item constraint programming,
\item constraint maintenance,
\item constraints identification, specification, management and
      implementation techniques,
\item over-specified constraint prob- lems and constraint relaxation,
\end{list}\end{minipage}\hspace*{2mm}\begin{minipage}[b]{5.8cm}
\parindent0em
\raggedright
\begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm}
\item creation and execution of constraint-satisfaction plans,
\item constraint refinement,
\item hierarchical constraint problems,
\item parallel and distributed computing with constraints,
\item finite (discrete) as well as continuous domain handling,
\item real-time constraints,
\item relations to operations research or deductive databases,
\item constraint processing in computer graphics,
\item theoretical foundations,
\item complexity results, and
\end{list}
\end{minipage}
\par
\vspace*{-0.13in}
\raggedright
\begin{list}{$\bullet$}{\itemsep1.0mm\parsep0mm\leftmargin5mm}
\item reports showing the practical relevance of constraint processing
      and what basic techniques are needed in practice.
\end{list}
\end{minipage}
\par
\medskip
\vspace*{-4mm}
\rule{18.2cm}{0.3mm}
\noindent {\bf Workshop format:}
The workshop is planned as a combination of presentations of submitted
papers, an invited lecture by a leading researcher in constraint processing,
and a round-table discussion that shall stimulate the exchange of
new ideas and  approaches among the participants.
\par
\medskip
\noindent {\bf Paper Submission:}
People interested in giving a presentation at the workshop are invited
to submit an extended abstract (no more than eight pages, single-spaced,
one column, 12pt), preferably by e-mail ({\LaTeX}/PostScript are welcome).
Authors not having e-mail access  should send 4 copies.  Persons wishing
to participate without giving a presentation  should submit a brief (one
page) abstract describing  their research and/or interest  in constraint
processing. However, priority will be given to people submitting papers.
Submissions should arrive before {\bf April 14th, 1994} at the address
given above. Notification of receipt will  be mailed to the first author
(or designated author).    On the first page include  the name, address,
phone and fax number,  and e-mail address of  the author  designated for
contact.  Notifications of acceptance  will be mailed  by {\bf May 16th,
1994}. Authors of accepted papers  will be invited to submit full papers
of up to 15 pages by {\bf June 8th, 1994} to be included in the workshop
notes distributed to all participants.

}}}\end{document}