From owner-theorynt@LISTSERV.NODAK.EDU Mon Mar 23 15:18:24 1998 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.7/8.8.8) with ESMTP id PAA17708 for ; Mon, 23 Mar 1998 15:18:24 -0800 (PST) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by CS.Stanford.EDU (8.8.8/8.8.8) with ESMTP id PAA09781; Mon, 23 Mar 1998 15:19:56 -0800 (PST) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A8BC25E0@listserv.nodak.edu>; Mon, 23 Mar 1998 17:18:13 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 265527 for THEORYNT@LISTSERV.NODAK.EDU; Mon, 23 Mar 1998 17:18:10 -0600 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A5EE86F0@listserv.nodak.edu>; Mon, 23 Mar 1998 17:18:08 -0600 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 265514 for THEORY-A@LISTSERV.NODAK.EDU; Mon, 23 Mar 1998 17:18:07 -0600 Received: from pollux.usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.A4973450@listserv.nodak.edu>; Mon, 23 Mar 1998 17:18:06 -0600 Received: (from ierardi@localhost) by pollux.usc.edu (8.8.8/8.8.8/usc) id PAA17067 for theory-a@vm1.nodak.edu; Mon, 23 Mar 1998 15:18:00 -0800 (PST) X-Sender: bista@mailserver.di.unipi.it (Unverified) X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32) Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: <3.0.5.32.19980316162132.00797740@mailserver.di.unipi.it> Date: Mon, 23 Mar 1998 15:18:00 PST Reply-To: Theory-A - TheoryNet World-Wide Events , Stefano Bistarelli Sender: TheoryNet List From: Stefano Bistarelli Organization: Dipartimento di Informatica di Pisa - Italy Subject: 3rd CP98 call for papers Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU Status: OR --------------------------------------------------------- Apologies if you receive this more than once! --------------------------------------------------------- --------------------------------------------------------------------- CALL FOR PAPERS -- CP98 --------------------------------------------------------------------- Fourth International Conference on Principles and Practice of Constraint Programming Pisa, Italy, October 26--30, 1998 http://www.di.unipi.it/cp98/ --------------------------------------------------------------------- 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. We also solicit papers from any domain employing constraints, including: computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, user interfaces. Papers that bridge disciplines or combine theory and practice are especially welcome. Conference Chair: ----------------- Francesca Rossi, University of Pisa, rossi@di.unipi.it Program Co-Chairs: ------------------ Michael Maher Jean-Francois Puget School of Computing and Information Technology ILOG Griffith University 9 av. Verdun Nathan Queensland 4111 94253 Gentilly Australia France M.Maher@cit.gu.edu.au puget@ilog.fr Workshop chair: --------------- Roland Yap Dept. of Information Systems and Comp. Science National Univ. of Singapore Lower Kent Ridge Road Singapore 119260 Republic of Singapore ryap@iscs.nus.edu.sg Program Committee: ------------------ Peter van Beek (Univ. of Alberta), Christian Bessiere (LIRMM-CNRS), Alexander Bockmayr (MPI), Alex Brodsky (George Mason Univ.), Yves Caseau (Bouygues), Philippe Codognet (INRIA and Sony CSL), Rina Dechter (UC Irvine), Yves Deville (Univ. Cath. de Louvain), Boi Faltings (LIA-EPFL), Maurizio Gabbrielli (Univ. of Pisa), Ian Gent (Univ. of Strathclyde), Nevin Heintze (Bell Lab.), Manolis Koubarakis (UMIST), Jimmy Lee (Chinese Univ. of Hong Kong), Alan Mackworth (Univ. of British Columbia), Kim Marriott (Monash Univ.), Wim Nuijten (ILOG), Catuscia Palamidessi (Penn State Univ.), Francesca Rossi (Univ. of Pisa), Helmut Simonis (Cosytec), Barbara Smith (Univ. of Leeds), Peter Stuckey (Univ. of Melbourne), Ralf Treinen (Univ. of Paris-Sud), Michel Van Caneghem (Uiniv. of Marseilles and Prologia), Dirk Van Gucht (Indiana Univ.), Makoto Yokoo (NTT). Organizing Committee: --------------------- A. Borning (Univ. of Washington), J. Cohen (Brandeis Univ.), A. Colmerauer (Univ. of Marseille), E. Freuder, chair (Univ. of New Hampshire), H. Gallaire (Xerox), J.-P. Jouannaud (Univ. of Paris Sud), J.-L. Lassez (New Mexico Tech), U. Montanari (Univ. of Pisa), A. Nerode (Cornell Univ.), V. Saraswat (AT&T Research), G. Smolka (DFKI and Univ. Saarlandes), R. Wachter (Office of Naval Research). Paper submissions: ------------------ Authors should submit abstracts by April 20 and original full papers of no more than 15 pages by April 24. Submission should be done by sending two emails to cp98@ilog.fr. The first email should have subject: CP'98 abstract followed by the paper title; the body should contain the title, authors and a short abstract of the paper in plain text. This email must be sent by April 20. The second email should have subject: CP'98 paper followed by the paper title; the body should contain a postscript file. For authors who are unable to submit electronically, five paper copies can be mailed to one of the program chairs. In that case the package should arrive no later than April 24. Publication: ------------ The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. A special issue of the Constraints journal (Kluwer Academic Publishers) is planned, based on selected papers. Conference Format and Program: ------------------------------ CP98 will take place in Pisa, a pleasant small town in the Tuscany region of Italy. The conference will be five days long from Monday to Friday. The invited speakers are Joxan Jaffar (National University of Singapore), Patrick Prosser (University of Strathclyde, UK), and Peter Jeavons (Royal Holloway, University of London). Workshops: ---------- Satellite workshops will be organized on Friday, October 30. Workshop proposals can be submitted to the workshop chair by March 27, 1998. The details can be found in the call for workshop proposal, which can be seen on the CP98 web page. Important dates: ---------------- -- April 20, 1998: abstract submissions -- April 24, 1998: paper submissions -- July 2, 1988: acceptance decisions -- July 31, 1998: camera-ready copy due Sponsorships: ------------- CP98 is jointly sponsored by AI*IA (Italy), APT Pisa (Italy), Cosytec (France), ILOG (France), SINTEF (Norway), Prologia (France), ToscoDati (Italy), and Compulog Net. Other sponsorships are pending.