CALL FOR PAPERS
Third International Conference on Principles and Practice of
Constraint Programming (CP97)
Schloss Hagenberg, Austria, October 29 - November 1, 1997
Scope of the Conference
Constraints have emerged as the basis of a representational and
computational paradigm that draws from many disciplines and can
be brought to bear on many problem domains. The conference is
concerned with all aspects of computing with constraints including:
algorithms, applications, environments, languages, models,
systems.
Contributions are welcome from any discipline concerned with
constraints, including: artificial intelligence, combinatorial
algorithms, computational logic, concurrent computation,
databases, discrete mathematics, operations research,
programming languages, symbolic computation.
Contributions are welcome from any domain employing constraints,
including: computational linguistics, configuration, decision support,
design, diagnosis, graphics, hardware verification, molecular
biology, planning, program analysis, qualitative reasoning,
real-time systems, resource allocation, robotics, scheduling,
software engineering, temporal reasoning, type inference, vision,
visualization, user interfaces.
Papers are especially welcome that bridge disciplines or combine
theory and practice.
Conference Venue
CP97 will take place at Schloss Hagenberg, a medieval, renovated
castle close to Linz, Austria, known as the site of the Research
Institute for Symbolic Computation (RISC).
Paper Submissions
The submission deadline is April 15, 1997. Submission is by email
(up to exceptions) according to the paper submission guidelines,
which are accessible via the CP97 web site
http://www.mpi-sb.mpg.de/conferences/CP97/.
Decisions on acceptance will be sent by June 15, 1997. Some
submissions not accepted as papers may be offered presentation
as posters, with an extended abstract (2 pages) in the
proceedings.
Publication
The proceedings will be published in the Springer LNCS series.
Camera-ready copy will be due by July 15, 1996. The publication
must not duplicate an earlier conference publication. Papers and
posters must be presented at the conference by one of the authors.
Authors of selected papers will be invited to submit revisions to a
special issue of the CONSTRAINTS journal devoted to the
conference.
Call for Tutorials
Several tutorials will be held during the conference. Proposals for
two-hour tutorials should be sent to the Program Chair until May
15, 1997.
Call for Workshop Proposals
There will be workshops on the last day of the conference.
Proposals for one-day or half-day workshops should be sent to
the Workshop Chair as soon as possible but no later than May 15,
1997.
Exhibition and Sponsors
Companies, publishers, agencies or organizations interested in
exhibition space, or in becoming conference sponsors, should
contact the Conference Chair. Researchers interested in providing
computer demonstrations should contact the Program Chair.
Conference Organization
Conference Chair:
Bruno Buchberger (RISC)
Bruno.Buchberger@risc.uni-linz.ac.at
Program Chair:
Gert Smolka (DFKI and Universitaet des Saarlandes)
smolka@ps.uni-sb.de
Program Committee:
Franz Baader (RWTH Aachen)
Frederic Benhamou (University of Orleans)
Alex Brodsky (George Mason University)
Yves Caseau (Bouygues)
Hoon Hong (RISC)
John Hooker (CMU)
Joxan Jaffar (National University of Singapore)
Claude Kirchner (INRIA Lorraine and CRIN)
Michael Maher (Griffith University)
Kim Marriott (Monash University)
Dave McAllester (AT&T Research)
Ken McAloon (Brooklyn College)
Bernhard Nebel (University of Freiburg)
Tobias Nipkow (TU Muenchen)
Martin Odersky (TU Karlsruhe and University of South Australia)
Catuscia Palamidessi (University of Genova)
Andreas Podelski (Max-Planck-Institut fuer Informatik)
Jean-Francois Puget (ILOG)
Francesca Rossi (University of Pisa)
Thomas Schiex (INRA)
Bart Selman (AT&T Research)
Gert Smolka (DFKI and Universitaet des Saarlandes)
Peter J. Stuckey (University of Melbourne)
Edward Tsang (University of Essex)
Peter van Beek (University of Alberta)
Mark Wallace (ICL/Imperial College)
Publicity and Workshop Chair:
Andreas Podelski (Max-Planck-Institut fuer Informatik)
podelski@mpi-sb.mpg.de
Organizing Committee:
Alan Borning (University of Washington)
Alain Colmerauer (University of Marseille)
Eugene Freuder (University of New Hampshire)
Jean-Pierre Jouannaud (University of Paris Sud)
Jean-Louis Lassez (New Mexico Tech)
Ugo Montanari (University of Pisa)
Anil Nerode (Cornell University)
Vijay Saraswat (AT&T Research)
Pascal Van Hentenryck (Brown University)
Ralph Wachter (Office of Naval Research)
Important Dates
April 15, 1997: Paper submission deadline
May 15, 1997: Submission of tutorial and workshop proposals
June 15, 1997: Acceptance notification
July 15, 1996: Camera-ready copy due
October 29-31, 1997: Main program of the conference
November 1, 1997: Workshops
Further Information
Additional information will be posted, and will be available at the
CP97 web site: http://www.mpi-sb.mpg.de/conferences/CP97/.
------------------------ Latex version --------------------------------
% text, latex, dvi and postscript versions are avaible also at the
% CP97 web site http://www.mpi-sb.mpg.de/conferences/CP97/.
\documentstyle{article} %[a4wide,german]
\oddsidemargin 6pt \evensidemargin 6pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\columnsep 10.5pt \columnseprule 0pt
\addtolength{\oddsidemargin}{-2.0cm}
\setlength{\textwidth}{18.7cm}%{18cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
\begin{center}
{\Large\sc CALL FOR PAPERS - CP97}\\[2.5ex]
{\Large \bf Third International Conference on }\\[1.5ex]
{\Large \bf Principles and Practice of Constraint Programming (CP97)}\\[1.5ex]
{\large\bf Schloss\ Hagenberg, Austria, October 29 - November 1, 1997}
\end{center}
%\vspace*{0.15in}
\vspace*{0.15in}
\parbox[t]{7.3cm}{ %{5.3cm}{
%\parbox[t]{7.3cm}{ %{5.3cm}{
%\parbox[t]{8.2cm}{ %{5.3cm}{
\footnotesize
\noindent
{\bf Conference Chair:}
\vspace*{0.05in}
\begin{tabular}{l}
Bruno Buchberger\\
RISC\\
A4232 Schloss Hagenberg, Austria\\
{Bruno.Buchberger@risc.uni-linz.ac.at}\\
\end{tabular}
\vspace*{0.05in} % \vspace*{0.10in}
\noindent
{\bf Program Chair:}
\vspace*{0.05in}
\begin{tabular}{l}
Gert Smolka\\
Programming Systems Lab\\
DFKI and Universit\"at des Saarlandes\\
Postfach 15 11 50, Geb\"aude 45\\
D-66041 Saarbr\"ucken, Germany\\
{smolka@ps.uni-sb.de}
\end{tabular}
\vspace*{0.05in} % \vspace*{0.10in}
\noindent
{\bf Program Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
Franz Baader (RWTH Aachen)\\
Fr{\'e}d{\'e}ric Benhamou (University of Orl{\'e}ans)\\
Alex Brodsky (George Mason University)\\
Yves Caseau (Bouygues)\\
Hoon Hong (RISC)\\
John Hooker (CMU)\\
Joxan Jaffar (National University of Singapore)\\
Claude Kirchner (INRIA Lorraine and CRIN)\\
Michael Maher (Griffith University)\\
Kim Marriott (Monash University)\\
Dave McAllester (AT\&T Research)\\
Ken McAloon (Brooklyn College)\\
Bernhard Nebel (University of Freiburg)\\
Tobias Nipkow (TU M\"unchen)\\
Martin Odersky (University of South Australia)\\ % TU Karlsruhe \&\
Cartuscia Palamidessi (University of Genova)\\
Andreas Podelski (Max-Planck-Inst.\ f\"ur Informatik)\\
Jean-Francois Puget (ILOG)\\
Francesca Rossi (University of Pisa)\\
Thomas Schiex (INRA)\\
Bart Selman (AT\&T Research)\\
Gert Smolka (DFKI \&\ Universit\"at des Saarlandes)\\
Peter J. Stuckey (University of Melbourne)\\
Edward Tsang (University of Essex)\\
Peter van Beek (University of Alberta)\\
Mark Wallace (ICL/Imperial College)
\end{tabular}
\vspace*{0.05in} % \vspace*{0.10in}
\noindent
{\bf Publicity and Workshop Chair:}
\vspace*{0.05in}
\begin{tabular}{l}
Andreas Podelski\\
Max-Planck-Institut f\"ur Informatik\\
Im Stadtwald, D-66123 Saarbr\"ucken\\
{podelski@mpi-sb.mpg.de}
\end{tabular}
\vspace*{0.05in} % \vspace*{0.10in}
\noindent
{\bf Organizing Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
Alan Borning (University of Washington)\\
Alain Colmerauer (University of Marseille)\\
Eugene Freuder (University of New Hampshire)\\
Jean-Pierre Jouannaud (University of Paris Sud)\\
Jean-Louis Lassez (New Mexico Tech)\\
Ugo Montanari (University of Pisa)\\
Anil Nerode (Cornell University)\\
Vijay Saraswat (AT\&T Research)\\
Pascal Van Hentenryck (Brown University)\\
Ralph Wachter (Office of Naval Research) \\
\end{tabular}
\vspace*{0.05in} %\vspace*{0.15in}
\noindent
{\bf Important dates:}
\vspace*{0.05in}
\begin{tabular}{ll}
April 15, 1997 & Paper submissions\\
May 15, 1997 & Tutorial proposals\\
May 15, 1997 & Workshop proposals\\
June 15, 1997 & Acceptance notification\\
July 15, 1997 & Camera-ready copy due\\
October 29-31, 1997 & CP97 Main program\\
November 1, 1997 & Workshops
\end{tabular}
} %\end{parbox}
\parbox[t]{5mm}{
% \rule[-20.7cm]{0.2mm}{21cm}
\rule[-22.7cm]{0.2mm}{23cm}
} %\end{parbox}
%\begin{minipage}[t]{11.5cm}%{12.2cm}
%\begin{minipage}[t]{10.5cm}%{12.2cm}
\begin{minipage}[t]{10.0cm}%{12.2cm}
\small
%\parskip=4pt
\noindent
{\bf Scope of the conference:}
Constraints have emerged as the basis of a representational and
computational paradigm that draws from many disciplines and can
be brought to bear on many problem domains. The conference is
concerned with all aspects of computing with constraints including:
algorithms, applications, environments, languages, models,
systems.
Contributions are welcome from any discipline concerned with
constraints, including: artificial intelligence, combinatorial
algorithms, computational logic, concurrent computation,
databases, discrete mathematics, operations research,
programming languages, symbolic computation.
Contributions are welcome from any domain employing constraints,
including: computational linguistics, configuration, decision support,
design, diagnosis, graphics, hardware verification, molecular
biology, planning, program analysis, qualitative reasoning,
real-time systems, resource allocation, robotics, scheduling,
software engineering, temporal reasoning, type inference, vision,
visualization, user interfaces.
Papers are especially welcome that bridge disciplines or combine
theory and practice.
\vspace*{0.16in}
\noindent
{\bf Conference venue:}
CP97 will take place at Schloss\ Hagenberg, a medieval, renovated
castle close to Linz, Austria, known as the site of the Research
Institute for Symbolic Computation (RISC).
\vspace*{0.16in}
\noindent
{\bf Paper submissions:} The submission deadline is April 15, 1997.
Submission is by email (up to exceptions) according to the paper
submission guidelines which are accessible via the CP97 web site
\mbox{http://www.mpi-sb.mpg.de/conferences/CP97/}.
Decisions on acceptance will be sent by June 15, 1997. Some
submissions not accepted as papers may be offered presentation
as posters, with an extended abstract (2 pages) in the
proceedings.
\vspace*{0.16in}
\noindent
{\bf Publication:}
The proceedings will be published in the Springer LNCS series.
Camera-ready copy will be due by July 15, 1997. The publication
must not duplicate an earlier conference publication. Papers and
posters must be presented at the conference by one of the authors.
Authors of selected papers will be invited to submit revisions to a
special issue of the {\small CONSTRAINTS} journal devoted to the
conference.
\vspace*{0.16in}
{\bf Call for tutorials:}
Several tutorials will be held during the conference. Proposals for
two-hour tutorials should be sent to the Program Chair until May
15, 1997.
\vspace*{0.16in}
{\bf Call for workshop proposals:}
There will be workshops on the last day of the conference.
Proposals for one-day or half-day workshops should be sent to
the Workshop Chair as soon as possible but no later than May 15,
1997.
\vspace*{0.16in}
{\bf Exhibition and sponsors:}
Companies, publishers, agencies or organizations interested in
exhibition space, or in becoming conference sponsors, should
contact the Conference Chair. Researchers interested in providing
computer demonstrations should contact the Program Chair.
\vspace*{0.16in}
\noindent
{\bf Additional~information} will be posted, and will be available at the
CP97 web site: \ http://www.mpi-sb.mpg.de/conferences/CP97/.
\end{minipage}
\pagebreak
\begin{quote}
\begin{center}
{\Large\bf CP97 Paper Submission Guidelines}
\end{center}
\vspace*{0.16in}
\noindent
{\bf Format:}
Papers should be written in 10-point font size
with a text body of 12.2 x 19.3 cm. The page limit is 15 pages,
including everything.
\vspace*{0.16in}
\noindent
{\bf Submission:}
The submission deadline is April 15, 1997. Submission is by email and
must follow the following format:
\begin{verbatim}
To: cp97@ps.uni-sb.de
Subject: submission
<title of paper>
<first author>
<affiliation>
<address>
<email>
<URL> % optional
<second author>
...
...
Corresponding: <corresponding author>
Fax: <fax number of corresponding author>
Abstract:
<text of abstract>
<paper in uuencoded compressed postscript>
\end{verbatim}
\noindent
The first part of the message must be in plain text. The second part of the
message must be uuencoded compressed postscript, which may be obtained
with either of the following lines:
\begin{verbatim}
% gzip < paper.ps | uuencode paper.ps.gz > paper.uu
% compress < paper.ps | uuencode paper.ps.Z > paper.uu
\end{verbatim}
\noindent
Do not use attachments.
\vspace*{0.16in}
\noindent
If submission by email is not possible, you may submit 6 copies of
your paper by paper mail to the program chair.
\vspace*{0.16in}
\noindent
{\bf Confirmation:}
Paper submissions will be confirmed by email after we have succeeded
printing the paper. We will try to do so within 48 hours. Please
remain available until your submission has been confirmed, in case
there are problems.
\end{quote}
\end{document}
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-