==================================================================
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-ocs.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{article}
\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.3cm}
\setlength{\textwidth}{18.7cm}%{18cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
%
% Overall structure of the page
% -----------------------------------------
% | (title) |
% -----------------------------------------
% | |p| |
% | Parbox |a| minipage |
% | (com- |r| (conference |
% | mit- |b| information) |
% | tees) |o| |
% | |x| |
% -----------------------------------------
%\hspace*{\fill}
%\begin{minipage}[t]{11cm}
\hyphenation{con-straint con-straints}
\begin{center}
{\Large\sc Call for Papers}
\end{center}
\begin{center}
{\large \it CP95 Workshop on} %\\[1.5ex]
{\Large \bf OVER-CONSTRAINED SYSTEMS}\\[1ex]
{\bf September 18, 1995}\\[1ex]
At CP95, the First International Conference
on Principles and Practice of Constraint Programming
(Sept.\ 19--22, 1995)
\end{center}
\begin{center}
{\large\bf Cassis / Marseilles, France}
\end{center}
%\end{minipage}
\medskip
%=================================================================
% The committees go in a parbox on the left
%=================================================================
\parbox[t]{81mm}{ %{5.3cm}{
\vspace*{25mm}
\footnotesize
\noindent
{\bf Workshop Chair:}
\medskip
\begin{tabular}{l}
Michael Jampel\\
Department of Computer Science\\
City University\\
Northampton Square\\
London EC1V 0HB, UK\\
{\tt jampel@cs.city.ac.uk}\\
+44 171 477 8587 (fax)\\
+44 171 477 8449 (voice)\\
\end{tabular}
\medskip
\vspace*{14.14mm}
\noindent
{\bf Program Chairs:}
\medskip
\begin{tabular}{l}
Eugene Freuder ({\tt ecf@cs.unh.edu})\\
Michael Maher ({\tt mjm@watson.ibm.com})\\
\end{tabular}
\medskip
\vspace*{14.14mm}
\noindent
{\bf Program Committee:}
\medskip
\begin{tabular}{l}
Alan Borning (University of Washington, USA)\\
H\'{e}l\`{e}ne Fargier (IRIT, France)\\
Eugene Freuder (University of New Hampshire, USA)\\
Hans Werner Guesgen (University of Auckland, NZ)\\
Walter Hower (Universit\"at 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{tabular}
\medskip
\vspace*{14.14mm}
\noindent
{\bf Important dates:}
\medskip
\begin{tabular}{l}
Submissions: {\bf June 1, 1995}\\
Notification of acceptance: {\bf July 21, 1995}\\
Camera-ready papers due: {\bf August 10, 1995}\\
Workshop date: {\bf September 18, 1995}\\
\end{tabular}
\vspace*{4cm}
} %\end{parbox}
%
%=================================================================
% Vertical line goes in a parbox after the committees
%=================================================================
%
\parbox[t]{5mm}{
%\rule[-21cm]{0.2mm}{22cm}
\rule[-20.7cm]{0.2mm}{21cm}
} %\end{parbox}
%
%=================================================================
% Conference information goes in a minipage to the right of the line
%=================================================================
%
\begin{minipage}[t]{10.5cm}%{11.5cm}{12.2cm}
\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.\\
\medskip
{\bf Topics of interests:}
\begin{quote}
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.\\
\end{quote}
{\bf General information:}
\begin{quote}
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.\\
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.\\
\end{quote}
{\bf Submissions:}
\begin{quote}
Authors are invited to submit papers not exceeding 18 pages, printed in
12pt, to the Workshop Chair listed on the left.
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:
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.
Authors submitting by electronic mail should contact the Workshop
Chair if they have not received an electronic acknowledgement within
2--3 days.\\
\end{quote}
{\bf Proceedings:}
\begin{quote}
The accepted papers will be distributed at the workshop and will
subsequently be available as a technical report from City University.
\end{quote}
%\medskip
%{\bf Important Dates:~}
%\begin{tabbing}
%XX \= Final Version of Accepted Papers due on \= : \=
% \parbox{4cm}{} \= \+ \kill
% Deadline for Submission \> : \>
% \parbox{4cm}{\hspace*{\fill} March 15, 1995} \> \\
% Notification to Authors \> : \>
% \parbox{4cm}{\hspace*{\fill} May 15, 1995} \> \\
% Final Version of Accepted Papers due on \> : \>
% \parbox{4cm}{\hspace*{\fill} June 26, 1995} \>
%\end{tabbing}
%\smallskip
\end{minipage}
%\medskip
\noindent
Up-to-date versions of this CfP, and of the Call for
CP95, are available from
{\tt ftp.cs.city.ac.uk:/pub/constraints/ferences} and
{\tt http://web.cs.city.ac.uk/archive/constraints/ferences-ocs.html}.
\end{document}
------------------------------
End of FUZZY-MAIL Digest 147
****************************
FUZZY-MAIL Digest 148
Topics covered in this issue include:
1) Re: Historical developments of fuzzy logic
by lehmke@jupiter.informatik.uni-dortmund.de (Stephan Lehmke)
2) Re: Fuzzy Logic Questions
by lehmke@jupiter.informatik.uni-dortmund.de (Stephan Lehmke)
3) CALL FOR PAPERS: FUZZY LOGIC '95
by tomwillm@ix.netcom.com (Thomas Williams)
4) Re: Pattern Recognition Algoritms
by Larry Hall <hall@babbage.csee.usf.edu>
5) (Q) Fuzzy electrical load managment
by phaf@giraffe.ru.ac.za (Andre Ferreira)
6) fuzzy-databases
by Detlef Bringemeier <gpdb@inggeo.tu-clausthal.de>
7) Computational Intelligence: Imitating Life
by marks@u.washington.edu (Robert Marks)
8) About some concepts
by Jesus Valadez S nchez <al165907@openlab89.mty.itesm.mx>
9) Call for Papers: Fuzzy Logic '95 (better format)
by tomwillm@ix.netcom.com (Thomas Williams)
10) [HELP] Fuzzy Neural Networks
by browne@genrad.co.uk (Everard Brown)
11) Re: Fuzzy Block for Simulink
by ajt@monster.resmel.bhp.com.au (Andrew Telford)
12) RE: Desision making with FuzzyClips
by Tasso Koulouri <tasso@mansci.strath.ac.uk>
13) Kosko considered fuzzy (Re: [HELP] Fuzzy Neural Networks)
by djones@Corp.Megatest.COM (Dave Jones)
14) Re: [HELP] Fuzzy Neural Networks
by mty018@coventry.ac.uk (J.Dunlop)
15) Fuzzy engine control-Award in England
by finnur@itk.unit.no (Finnur Olafsson)
16) CFP: Pattern Recognition - Image Databases sp. issue
by pankanti@cps.msu.edu (Sharath Pankanti)
17) Medical Fuzzy Logic Decision
by BSCX72A@prodigy.com (Sergio Pinski)
18) Sensor / Data fusion
by poloni@mpa.uni-stuttgart.de
19) Question On Fuzzy Decision Systems...
by wasiq@titan.fullerton.edu (Wasiq Hasan)
20) Finding Proper Names?
by mcvandine@aol.com (MCVanDine)
21) Free Sample Issue of CERA Journal
by BPRASAD@CMSA.gmr.com
----------------------------------------------------------------------