Return-Path: Received: from RI.CMU.EDU by A.GP.CS.CMU.EDU id aa04558; 19 Nov 93 4:47:37 EST Received: from swan.cl.cam.ac.uk by RI.CMU.EDU id aa27242; 19 Nov 93 4:46:58 EST Received: from lorraine.loria.fr (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Fri, 19 Nov 1993 09:45:59 +0000 Received: from bruyeres.loria.fr (bruyeres.loria.fr [152.81.6.116]) by lorraine.loria.fr (8.6.4/8.6.4) with ESMTP id KAA10950 for ; Fri, 19 Nov 1993 10:45:48 +0100 From: Helene Kirchner Received: from localhost (hkirchne@localhost) by bruyeres.loria.fr (8.6.4/8.6.4) id KAA19892; Fri, 19 Nov 1993 10:46:43 +0100 Date: Fri, 19 Nov 1993 10:46:43 +0100 Message-Id: <199311190946.KAA19892@bruyeres.loria.fr> To: isabelle-users@cl.cam.ac.uk Subject: Call for papers CCL'94 Reply-To: 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-80538 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. 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-80538 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.\\ {\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} From Helene.Kirchner@loria.fr Tue Dec 7 01:47:53 EST 1993 Article: 5144 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5144 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!das-news.harvard.edu!noc.near.net!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!rick From: hkirchne@loria.fr (Helene Kirchner) Subject: CFP: Constraints in Computational Logics (CCL'94) Message-ID: <1993Nov29.191852.23170@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Reply-To: Helene.Kirchner@loria.fr (Helene Kirchner) Organization: INRIA-Lorraine -- CRIN, Nancy, France Date: Mon, 29 Nov 1993 19:18:52 GMT Approved: rick@sparky.sterling.com Expires: Sat, 26 Mar 1994 08:00:00 GMT Lines: 273 X-Md4-Signature: da3aed9e1976d9718f6ad27dda89dd65 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-80538 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. 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-80538 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.\\ {\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} Return-Path: Received: from RI.CMU.EDU by A.GP.CS.CMU.EDU id aa21725; 12 Feb 94 3:39:38 EST Received: from gannet.cl.cam.ac.uk by RI.CMU.EDU id aa28110; 12 Feb 94 3:38:49 EST Received: from lorraine.loria.fr (no rfc931) by gannet.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Sat, 12 Feb 1994 08:36:43 +0000 Received: from bruyeres.loria.fr (bruyeres.loria.fr [152.81.6.116]) by lorraine.loria.fr (8.6.5/8.6.5) with ESMTP id JAA29936 for ; Sat, 12 Feb 1994 09:36:12 +0100 From: Helene Kirchner Received: from localhost (hkirchne@localhost) by bruyeres.loria.fr (8.6.4/8.6.4) id JAA01812; Sat, 12 Feb 1994 09:36:50 +0100 Date: Sat, 12 Feb 1994 09:36:50 +0100 Message-Id: <199402120836.JAA01812@bruyeres.loria.fr> To: isabelle-users@cl.cam.ac.uk Subject: CCL94 Reply-To: hkirchne@loria.fr 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} From hkirchne@loria.fr Wed Mar 2 19:07:19 EST 1994 Article: 5691 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5691 Newsgroups: news.announce.conferences Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!howland.reston.ans.net!cs.utexas.edu!uunet!sparky!rick From: hkirchne@loria.fr (Helene Kirchner) Subject: CFP (update) : Constraints in Computational Logics (CCL94) Message-ID: <1994Feb15.231152.16884@sparky.sterling.com> Sender: rick@sparky.sterling.com (Richard Ohnemus) Organization: CRIN/INRIA-Lorraine, Nancy, France Date: Tue, 15 Feb 1994 23:11:52 GMT Approved: rick@sparky.sterling.com Expires: Sat, 26 Mar 1994 08:00:00 GMT Lines: 288 X-Md4-Signature: e3d16300e27e7d27225775733155e887 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} From hkirchne@loria.fr Mon Mar 14 18:14:10 EST 1994 Article: 5799 of news.announce.conferences Xref: glinda.oz.cs.cmu.edu news.announce.conferences:5799 Path: honeydew.srv.cs.cmu.edu!fs7.ece.cmu.edu!europa.eng.gtefsd.com!emory!swrinde!cs.utexas.edu!uunet!sparky!sparky!not-for-mail From: hkirchne@loria.fr (Helene Kirchner) Newsgroups: news.announce.conferences Subject: CFP (final): Constraints in Computational Logics (CCL94) Followup-To: poster Date: 14 Mar 1994 08:28:32 -0600 Organization: CRIN/INRIA-Lorraine, Nancy, France Lines: 283 Sender: rick@sparky.sterling.com Approved: rick@sparky.sterling.com Distribution: world Expires: 26 Mar 1994 8:00:00 GMT Message-ID: <2m1sag$73a@sparky.sterling.com> NNTP-Posting-Host: sparky.sterling.com Do not miss the deadline of CCL'94 Conference! ************************** Friday March 25, 1994 ************************** ----------------------------------------------------------------------- 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}