Delivery-Date: 
Sender: info-hol-request@leopard.cs.byu.edu
Errors-To: info-hol-request@leopard.cs.byu.edu
Precedence: bulk
From: Helene Kirchner <Helene.Kirchner@loria.fr>
Message-Id: <199402092035.VAA25829@bruyeres.loria.fr>
Subject: CCL94: Second Call
Date: Wed, 9 Feb 1994 21:35:57 +0100 (MET)
To: info-hol@cs.uidaho.edu

    
This is just to remind you the CCL'94 Conference and ask you to note 
two changes in the following call for papers:

Mark Wallace has joined the program committe
and 
the postal code in the address of Tobias Nipkow has been modified.

It may happen that you receive several times this e-mail: I sincerely
apologize for this inconvenience.

Helene Kirchner

-----------------------------------------------------------------------

	
          	      CALL FOR PAPERS

	        1st International Conference on

              CONSTRAINTS IN COMPUTATIONAL LOGICS

             September 7--9, 1994, Munich, Germany


Constraints in Computational Logics (CCL) is a new conference
sponsored by the ESPRIT WORKING GROUP ``Construction of Computational
Logics''.

The past two decades have seen a proliferation of different
programming styles: functional, logical, constraint based,
object-oriented, among others.  More recently, it has been recognized
that these styles complement rather than exclude each others by being
suitable for particular problem domains.  As a consequence, combining
programming paradigms has emerged as a significant research direction
of its own, and constraints have often been used as a glue for these
combinations.

CCL aims to attract high quality original papers covering theoretical
and practical issues in this direction of combining and extending
programming paradigms preferably (but not exclusively) by using
constraints. Suggested, but not exclusive, topics of interest include:
symbolic constraints, set constraints, numerical constraints, 
constraints for knowledge representation and processing,
use of constraints for type checking and program analysis, 
multi-paradigm programming, abstract properties of combined calculi,
combinations of computational logics,
constraints in rewriting, deduction, and symbolic computations, 
working systems.

CCL'94 will invite 5 lecturers,
Max Dauchet (Symbolic constraints and tree automata),
Dexter Kozen (Set constraints and logic programming),
Helmut Simonis (Applications of constraint logic programming), 
Gert Smolka (Concurrent constraint programming), and
Wayne Snyder (Constraints in automated deduction).

PAPER SUBMISSION: 5 hard copies of a full paper and 16 additional
copies of the cover page and second page should be received by 

		March 25, 1994 by the program chair.  

This is a FIRM deadline: late submissions will not be considered.
Authors without access to duplication facilities may submit a single
copy of each.  Authors will be notified of acceptance by May 10, 1994.
Accepted papers (16 pages in the LNCS format) will be due June 17,
1994.

The cover page of the submission should include the title, the
abstract, and for all authors, the name, address, phone number, fax
number, and e-mail when available.  Each submission must include as
the second page a clear statement of the issues, a summary of the main
results, and an explanation of their significance and relevance to the
conference, all phrased for the non-specialist.  Technical
developments, directed to the specialist, should follow starting on
the third page. The whole paper should not exceed 16 pages in LNCS
LaTeX Format.  Papers must be in English, clearly written, and provide
sufficient explanations to allow the program committee to assess the
merits of the paper.  References and comparisons with related work
should be included.  Proofs, if omitted in the paper, must appear in
an additional appendix for which there is no space limit.  Submissions
departing significantly from these guidelines run a high risk of
rejection.

The results in the abstract must be unpublished, and not submitted for
publication elsewhere, including other refereed conferences.  All
authors of accepted papers will be expected to sign copyright release
forms, and one author of each accepted paper will be expected to
present the paper at the conference.

People planning to attend CCL are kindly requested to send a note as
early as possible to the conference chair in order to help estimate
the facilities needed for the conference.  For further announcements,
contact the publicity chair.


	LOCATION:
Technical University Munich

	CONFERENCE CHAIR:
Tobias Nipkow
Institut fuer Informatik
Technische Universitaet Muenchen
D-80290 Muenchen
GERMANY
E-mail: ccl@informatik.tu-muenchen.de
Phone:(49) 89 2105 2690 
Fax: (49) 89 2105 8183 

	PUBLICITY CHAIR:
Helene Kirchner
CRIN-CNRS et INRIA-Lorraine
BP 239
54506 Vandoeuvre-les-Nancy Cedex
FRANCE
E-mail: Helene.Kirchner@loria.fr
Phone:(33) 83593012
Fax: (33) 83278319

	PROGRAM CHAIR:
Jean-Pierre Jouannaud
LRI, Bat. 490
CNRS et Universite de Paris-Sud
91405 Orsay Cedex
FRANCE
E-mail: ccl@lri.fr
Phone: (33) 1-69416905
Fax: (33) 1-69416586 

	PROGRAM COMMITTEE:
A. Aiba, A. Colmerauer, M. Dincbas, H. Ganzinger, S. Haridi, 
V. Hentenryck, J. Jaffar, J.-P. Jouannaud, C. Kirchner, D. Miller, 
U. Montanari, F. Orejas, L. Pacholski, F. Pfenning, M. Rodriguez, 
K. Schulz, M.Wallace.

	DEADLINES:
Submissions: March 25, 1994
Notification: May 10, 1994
Paper due: June 17, 1994


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                       %
%       CALL FOR PAPERS CCL'94 (LaTeX File)             %
%                                                       %
%%%%%%%%%%%%%%%% Cut here %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentstyle{article}

\topmargin-0.75in
\marginparwidth 0pt \oddsidemargin  0pt \evensidemargin  0pt
\marginparsep 0pt
\textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt
\renewcommand{\i}[1]{{\it #1 \/}}
\begin{document}
\thispagestyle{empty}

\begin{center}
{\bf CALL FOR PAPERS}\\[2ex]
{\large 1st International Conference on }\\[2ex]
{\Large\bf CONSTRAINTS IN COMPUTATIONAL LOGICS}\\[2ex]
{\large\it September 7--9, 1994, Munich, Germany}
\end{center}
\vspace{.2in}
\small
\begin{minipage}[t]{2.10in}% first column
\parskip 4pt

{\bf Location:} \\[1mm]
Technical University Munich\\

{\bf Conference Chair:} \\[1mm]
Tobias Nipkow\\
Institut f\"ur Informatik\\
Technische Universit\"at M\"unchen\\
D-80290 M\"unchen\\
GERMANY\\
{\tt ccl@informatik.tu-muenchen.de}\\
Phone:(49) 89 2105 2690 \\
Fax: (49) 89 2105 8183 \\

{\bf Publicity Chair:} \\[1mm]
H\'el\`ene Kirchner\\
CRIN-CNRS et INRIA-Lorraine\\
BP 239\\
54506 Vand{\oe}uvre-les-Nancy Cedex\\
FRANCE\\
{\tt Helene.Kirchner@loria.fr} \\
Phone:(33) 83593012\\
Fax: (33) 83278319\\

{\bf Program Chair:} \\[1mm]
Jean-Pierre Jouannaud\\
LRI, B\^at. 490\\
CNRS et Universit\'e de Paris-Sud\\ 
91405 Orsay Cedex\\
FRANCE\\
{\tt ccl@lri.fr} \\
Phone: (33) 1-69416905\\
Fax: (33) 1-69416586 \\

{\bf Program Committee:}\\[1mm]
A.~Aiba, A.~Colmerauer, M.~Dinc\-bas, H.~Ganzinger, S.~Haridi, 
P.~Van Hentenryck, 
J.~Jaffar, J.-P.~Jouan\-naud, C.~Kirchner, D.~Miller, U.~Montanari, 
F.~Orejas, L.~Pacholski, F.~Pfenning, M.~Rodri\-guez, K.~Schulz, M.~Wallace.\\

{\bf Deadlines:}\\[1mm]
Submissions: March 25, 1994\\
Notification: May 10, 1994\\
Paper due: June 17, 1994

\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4.5in}% second column
\parskip 4pt

Constraints in Computational Logics (CCL) is a new conference sponsored by 
the ESPRIT WORKING GROUP ``Construction of Computational Logics''.

The past two decades have seen a proliferation of different programming 
styles: functional, logical, constraints based, object-oriented, among others.
More recently, it has been recognized that these styles complement rather 
than exclude each others by being suitable for particular problem domains.
As a consequence, combining programming paradigms has emerged as a significant
research direction of its own, and constraints have often been used as a
glue for these combinations. 

CCL aims to attract high quality original papers covering theoretical and
practical issues in this direction of combining and extending programming 
paradigms preferably (but not exclusively) by using constraints. Suggested, 
but not exclusive, topics of interest include: 
symbolic constraints, set constraints, numerical constraints, 
constraints for knowledge representation and processing,
use of constraints for type checking and program analysis, 
multi-paradigm programming, abstract properties of combined calculi,
combinations of computational logics,
constraints in rewriting, deduction, and symbolic computations, 
working systems.

CCL'94 will invite 5 lecturers,
Max Dauchet (Symbolic constraints and tree automata),
Dexter Kozen (Set constraints and logic programming),
Helmut Simonis (Applications of constraint logic programming), 
Gert Smolka (Concurrent constraint programming), and
Wayne Snyder (Constraints in automated deduction).

{\bf Paper submission}: 5 hard copies of a full paper and 16 additional 
copies of the cover page and second page should be
{\bf received} by {\bf March 25, 1994} by the {\bf program chair}.
{\sl This is a FIRM deadline: late submissions will not be considered.}
Authors without access to duplication facilities may submit a single
copy of each.  Authors will be notified of acceptance
by May 10, 1994.  Accepted papers (16 pages in the LNCS format)
will be due June 17, 1994.

The cover page of the submission should include the title, the abstract, and
for all authors, the name, address, phone number, fax number, and e-mail 
when available.
Each submission must include as the second page a clear statement 
of the issues, a summary of the main results, and an explanation 
of their significance and relevance to the conference, all phrased for the
non-specialist.
Technical developments, directed to the specialist, should 
follow starting on the third page. The whole paper
should not exceed 16 pages in LNCS LaTeX Format.
Papers must be in English, clearly written, and provide sufficient 
explanations to allow the program committee to assess the merits of the 
paper.  References and comparisons with related work should be included.
Proofs, if omitted in the paper, must appear in an additional appendix 
for which there is no space limit.
Submissions departing significantly from these guidelines run a high risk
of rejection.

The results in the abstract must be unpublished, and not submitted
for publication elsewhere, including other refereed
conferences.  All authors of accepted papers will be expected to sign
copyright release forms, and one author of each accepted paper will be
expected to present the paper at the conference.

People planning to attend CCL are kindly requested to send a note
as early as possible to the {\bf conference chair}
in order to help estimate the facilities needed for the conference.
For further announcements, contact the {\bf publicity chair}.
\end{minipage}
\end{document}