From owner-theorynt@LISTSERV.NODAK.EDU Thu Feb 27 00:02:48 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by flamingo.Stanford.EDU (8.8.4/8.7.1) with ESMTP id AAA05057 for ; Thu, 27 Feb 1997 00:02:48 -0800 Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id XAA16408; Wed, 26 Feb 1997 23:51:28 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9911DE80@listserv.nodak.edu>; Thu, 27 Feb 1997 1:50:24 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 9831883 for THEORYNT@LISTSERV.NODAK.EDU; Thu, 27 Feb 1997 01:50:16 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.942704E0@listserv.nodak.edu>; Thu, 27 Feb 1997 1:50:16 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 9831866 for THEORY-A@LISTSERV.NODAK.EDU; Thu, 27 Feb 1997 01:50:14 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.9215B110@listserv.nodak.edu>; Thu, 27 Feb 1997 1:50:12 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.4/8.8.4/usc) id XAA15801 for theory-a@listserv.nodak.edu; Wed, 26 Feb 1997 23:50:11 -0800 (PST) Apparently-To: Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <199702261746.SAA28715@twinpeaks.mpi-sb.mpg.de> Date: Wed, 26 Feb 1997 23:50:10 PST Reply-To: podelski@mpi-sb.mpg.de Sender: TheoryNet List From: Andreas Podelski Subject: Second Call for Papers - CP97 Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 15052 We apologize for multiple copies. Note that we have made precise the paper submission guidelines. These are accessible via the CP97 web site http://www.mpi-sb.mpg.de/conferences/CP97/. 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 <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}