Subject: CP95 Workshop on Over-Constrained Systems: Call for Papers
From: jampel@cs.city.ac.uk (Michael Jampel)
Ascii version first; Latex version at the end.
==================================================================
CALL FOR PAPERS
CP95 WORKSHOP ON OVER-CONSTRAINED SYSTEMS
18 September 1995
At CP95, the First International Conference
on Principles and Practice of Constraint Programming
19-22 September 1995
Cassis / Marseille, France
Most real-world systems contain inconsistencies and contradictory
information. In this situation, many current techniques for constraints
give no help to programmers and users. But a number of research
groups are trying to change this situation, using a variety of
techniques at different levels of automation. The aim of this workshop
is to bring together researchers using all of these techniques,
including, but not limited to, constraint relaxation and partial
satisfaction, hierarchical and partial orderings of constraints, fuzzy
and probabilistic constraints, techniques for under-constrained
systems (which are related to those for over-constrained systems),
default reasoning, and non-monotonic logic. We are especially
interested in encouraging cross-fertilisation between Constraint Logic
Programming and Constraint Satisfaction, as well as learning from
Linear Programming, Operations Research, and AI.
CP95 (First International Conference on Principles and Practice of
Constraint Programming) is an inter-disciplinary meeting focussing on
constraint programming and constraint-based systems. It runs from
Tuesday 19th until Friday 22nd September 1995. See its Call for Papers
for more details.
Up-to-date versions of this Call for Papers, and of the Call for
CP95, are available from ftp.cs.city.ac.uk:/pub/constraints/ferences
and http://web.cs.city.ac.uk/archive/constraints/ferences.html.
Attendance at the workshop will be by invitation of the organisers.
If space permits everybody is welcome, but authors of accepted papers,
attendees at the main conference, and those expressing an interest now
(see below) will be given priority.
Authors are invited to submit papers not exceeding 18 pages, printed in
12pt, to the Workshop Chair listed below. Shorter papers (around 6
pages) are also acceptable. We encourage authors to submit by
electronic mail, preferably in self-contained LaTeX/TeX, or in
Postscript. Alternatively four paper copies may be submitted.
Submissions should contain return mail and email addresses. The
deadline for submission of papers is 1st June 1995.
Note: Authors submitting by electronic mail should contact the Workshop
Chair if they have not received an electronic acknowledgement within
2-3 days.
The accepted papers will be distributed at the workshop and will
subsequently be available as a technical report from City University.
People interested in attending this workshop are encouraged to
send an expression of interest by electronic mail to the Workshop Chair
as soon as possible.
Workshop Chair and contact for submissions and all enquiries:
Michael Jampel jampel@cs.city.ac.uk
Department of Computer Science +44 171 477 8449 (voice)
City University +44 171 477 8587 (fax)
Northampton Square
London EC1V 0HB, UK
------------------------------------------------------------------
Program Chairs:
Eugene Freuder ecf@cs.unh.edu
Michael Maher mjm@watson.ibm.com
Program Committee:
Alan Borning, University of Washington, USA
Helene Fargier, IRIT, France
Eugene Freuder, University of New Hampshire, USA
Hans Werner Guesgen, University of Auckland, NZ
Walter Hower, Uni. Koblenz-L., Germany
Michael Jampel, City University, UK
Michael Maher, IBM T.J. Watson Research Center, USA
Francesca Rossi, University of Pisa, Italy
Thomas Schiex, INRA, France
IMPORTANT DATES:
Submission deadline: 1 June 1995
Notification of acceptance: 21 July 1995
Camera-ready version: 10 August 1995
Workshop date: 18 September 1995
==================================================================
\documentstyle[a4]{article}
\oddsidemargin 0.15 in
\evensidemargin 0.35 in
\marginparwidth 1 in
\oddsidemargin 0.25 in
\evensidemargin 0.25 in
\marginparwidth 0.75 in
\textwidth 5.875 in
\setlength{\topmargin}{-2cm}
\pagestyle{empty}
\begin{document}
\setlength{\parindent}{0em}
\setlength{\parskip}{2ex}
\begin{center}
{\large CALL FOR PAPERS} \\
{\Large CP95 WORKSHOP ON {\bfseries OVER-CONSTRAINED SYSTEMS}}\\
{\large 18 September 1995\\
At CP95, the First International Conference \\
on Principles and Practice of Constraint Programming \\
19-22 September 1995 \\
Cassis / Marseille, France }\\
\end{center}
{\small
Most real-world systems contain inconsistencies and contradictory
information. In this situation, many current techniques for constraints
give no help to programmers and users. But a number of research
groups are trying to change this situation, using a variety of
techniques at different levels of automation. The aim of this workshop
is to bring together researchers using all of these techniques,
including, but not limited to, constraint relaxation and partial
satisfaction, hierarchical and partial orderings of constraints, fuzzy
and probabilistic constraints, techniques for under-constrained
systems (which are related to those for over-constrained systems),
default reasoning, and non-monotonic logic. We are especially
interested in encouraging cross-fertilisation between Constraint Logic
Programming and Constraint Satisfaction, as well as learning from
Linear Programming, Operations Research, and AI.
CP95 (First International Conference on Principles and Practice of
Constraint Programming) is an inter-disciplinary meeting focussing on
constraint programming and constraint-based systems. It runs from
Tuesday 19 until Friday 22 September 1995. See its Call for Papers
for more details.
Up-to-date versions of this Call for Papers, and of the Call for
CP95, are available from \\
{\tt ftp.cs.city.ac.uk:/pub/constraints/ferences} \\
{\tt http://web.cs.city.ac.uk/archive/constraints/ferences.html}.
Attendance at the workshop will be by invitation of the organisers.
If space permits everybody is welcome, but authors of accepted papers,
attendees at the main conference, and those expressing an interest now
(see below) will be given priority.
Authors are invited to submit papers not exceeding 18 pages, printed in
12pt, to the Workshop Chair listed below. Shorter papers (around 6
pages) are also acceptable. We encourage authors to submit by
electronic mail, preferably in self-contained LaTeX/TeX, or in
Postscript. Alternatively four paper copies may be submitted.
Submissions should contain return mail and email addresses. The
deadline for submission of papers is 1st June 1995.
Note: Authors submitting by electronic mail should contact the Workshop
Chair if they have not received an electronic acknowledgement within
2--3 days.
The accepted papers will be distributed at the workshop and will
subsequently be available as a technical report from City University.
People interested in attending this workshop are encouraged to
send an expression of interest by electronic mail to the Workshop Chair
as soon as possible.
Workshop Chair and contact for submissions and all enquiries: \\
\begin{tabular}{lp{2em}l}
Michael Jampel && {\tt jampel@cs.city.ac.uk} \\
Department of Computer Science && +44 171 477 8449 (voice) \\
City University && +44 171 477 8587 (fax) \\
Northampton Square \\
London EC1V 0HB, UK \\
\\
$\!\!\!\!${\bf IMPORTANT DATES:} \\
Submission deadline: && 1 June 1995 \\
Notification of acceptance: && 21 July 1995 \\
Camera-ready version: && 10 August 1995 \\
Workshop date: && 18 September 1995
\end{tabular}
Program Chairs: \\
\begin{tabular}{lp{9.9em}l}
Eugene Freuder && {\tt ecf@cs.unh.edu} \\
Michael Maher && {\tt mjm@watson.ibm.com}
\end{tabular}
Program Committee:\\
Alan Borning, University of Washington, USA \\
Helene Fargier, IRIT, France \\
Eugene Freuder, University of New Hampshire, USA \\
Hans Werner Guesgen, University of Auckland, NZ \\
Walter Hower, Uni. Koblenz-L., Germany \\
Michael Jampel, City University, UK \\
Michael Maher, IBM T.J. Watson Research Center, USA \\
Francesca Rossi, University of Pisa, Italy \\
Thomas Schiex, INRA, France
} % end small
\end{document}