---------- Forwarded Message ---------- Subject: [SICStus] 2nd Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming Date: Tue, 27 Mar 2001 16:17:21 +0100 From: Ian Miguel ianm@cs.york.ac.uk To: Colibri@let.uu.nl, DAI-List@ece.sc.edu, IDSS@socs.uts.edu.au, acl2@cs.utexas.edu, acl@cs.columbia.edu, agents@cs.umbc.edu, amast@cs.utwente.nl, apes@cs.strath.ac.uk, apng-all@apng.org, atp_alias@cs.jcu.edu.au, benelog@cs.kuleuven.ac.be, calculemus-ig@dist.unige.it, calligramme@loria.fr, caml-list@pauillac.inria.fr, categories@mta.ca, clp@comp.nus.edu.sg, clpr-users@comp.nus.edu.sg, collinsp@scot.ac.uk, comlab@comlab.ox.ac.uk, comprox@doc.ic.ac.uk, compulognet-parimp@dia.fi.upm.es, compunode@compulog.org, concurrency@cwi.nl, constraints-list@cwi.nl, cs-logic@cs.indiana.edu, csl99org@eucmos.sim.ucm.es, csl@dbai.tuwien.ac.at, dai-list@mcc.com, discipl@inria.fr, distributed-ai@mailbase.ac.uk, dma-list@nic.surfnet.nl, eacsl@dimi.uniud.it, eapls@mailbase.ac.uk, eatcs-it@cs.unibo.it, eclipse_users@ecrc.de, elsnet-list@cogsci.ed.ac.uk, flprog@informatik.uni-muenchen.de, fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu, fr-sem@frmug.org, frocos@loria.fr, gulp@di.unipi.it, ! hpsg-l@lists.stanford.edu, ikbs@caad.ed.ac.uk, isabelle-users@cl.cam.ac.uk, kgs@dbai.tuwien.ac.at, kgs@logic.tuwien.ac.at, lambda-usergroup@dcs.ed.ac.uk, lfcs-interest@dcs.ed.ac.uk, lfg@lists.stanford.edu, logic-ml@logic.jaist.ac.jp, lpnmr@cs.engr.uky.edu, lprolog-list@cis.upenn.edu, lprolog@cis.upenn.edu, maamaw@cosmos.imag.fr, ml@ics.uci.edu, mlnet@swi.psy.uva.nl, mol@cis.upenn.edu, mrg@itc.it, nl-kr@cs.rpi.edu, nlcl@cogs.susx.ac.uk, nlp-ia@bosoleil.ci.umoncton.ca, nqthm-users@cli.com, nuprllist@cs.cornell.edu, owner-uai@cs.orst.edu, users@mozart-oz.org, ozsl-list@wins.uva.nl, papm@dcs.ed.ac.uk, practical-applications@pap.com, prolog-pe@bach.ces.cwru.edu, pvs@csl.sri.com, qed@mcs.anl.gov, quintus-users@quintus.com, rewriting@ens-lyon.fr, theorem-provers@mc.lcs.mit.edu, theory-logic@cs.cmu.edu, types@cis.upenn.edu, uai@cs.orst.edu, vdm-forum@mailbase.ac.uk, vki-list@dfki.de, watt@cs.nott.ac.uk, zforum@prg.ox.ac.uk

Apologies if you receive this more than once.

Seventh International Conference on Principles and Practice of Constraint Programming

November 26-December 1, 2001, Paphos, Cyprus

http://www.cs.ucy.ac.cy/cp2001

CALL FOR TECHNICAL PAPERS CALL FOR INNOVATIVE APPLICATIONS PAPERS ANNOUNCEMENT OF DOCTORAL PROGRAMME

CP-2001 will be held in conjuction with ICLP-2001, the 17th International Conference on Logic Programming. In addition to the Technical programme, we are pleased to announce two new additions: the Innovative Applications programme, and the Doctoral programme

Technical programme:

The Technical programme is concerned with all aspects of computing with constraints including: algorithms, applications, environments, languages, models, systems. Papers are solicited from any of the disciplines concerned with constraints, including: artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, symbolic computation.

Papers may concern any of the domains using 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 that discuss modelling issues, or novel reasoning methods are especially welcome.

Innovative Applications programme:

The Innovative Applications is a forum for practitioners and end users of constraint technology, and an interface between them and researchers in constraints. We welcome submission in, but not limited to, the following topics: surveys of an application area, including problems to which constraint programming may be applied, experience in applying constraint programming, and areas where further research is required to meet industrial needs; software engineering aspect of constraint programming, including constraints elicitation, modelling and solving ill-defined applications; solutions of constraint problems using multiple solving techniques, including cooperative algorithms, hybrid solver configurations, and embedding constraint techniques in logic programming; the evaluation and comparison of approaches, including operational research vs. constraint programming, and stochastic vs. complete search techniques. More details about the Innovative Applications programme are posted at http://cswww.essex.ac.uk/CSP/Cpia-2001/

Doctoral programme:

A special programme for PhD students will be held alongside the conference. Students will be able to present their work and receive feedback from more senior members of the community. In addition, there will be tutorials about research skills and career issues. Students attending the doctoral programme will also present their work in the poster session of the mainconference. We hope to be able to announce details about financial support for participation in the doctoral programme in the near future. These and other details about the doctoral programme are posted at http://www.math.unipd.it/~frossi/doctoral.html

Submission to Technical and Innovative Applications programmes:

Submission of papers: May 14, 2001 Notification of acceptance: July 16, 2001 Camera-ready papers due: August 20, 2001

Papers must be original and not submitted for publication elsewhere. Full length papers can be up to 15 proceedings pages, and poster papers can be up to 5 pages. Details about how to submit papers electronically are posted at http://www.cs.york.ac.uk/cp2001/start/ The proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series.

Workshops and Tutorials:

A separate announcement about workshops and tutorials will be made by the Workshop and Tutorial Chair, Thomas Schiex.

Conference Location:

The conference will be held in the 5 star Coral Beach Hotel and Resort (http://www.coral.com.cy/) in an idyllic beachfront setting near to the town of Paphos. Paphos is included in the official UNESCO list of cultural and natural treasures of world heritage, and is described as "..Home To Aphrodite, Adonis, Dionysus, and Lucky Mortals".

Program Chair: Local Chair:

Toby Walsh Antonis Kakas Department of Computer Science Department of Computer Science The University of York University of Cyprus Heslington 75 Kallipoleos Str., P.O. Box 537

York YO10 5DD CY-1678 Nicosia United Kingdom Cyprus Email: tw@cs.york.ac.uk Email: antonis@ucy.ac.cy Tel: +44 1904 432793 Tel:+357-2-892230/1 Fax: +44 1904 432767 Fax:+357-2-339062 Office: Green Park 3rd floor, H308

Chair of Innovative Applications Chair of Doctoral Programme:

Edward Tsang Francesca Rossi Department of Computer Science University of Padova University of Essex Department of Mathematics Wivenhoe Park Via Belzoni 7 Colchester CO4 3SQ, UK 35131 Padova, Italy Email: edward@essex.ac.uk Email: frossi@math.unipd.it Tel: +44 1206 872774 Tel: +39 (049) 827 5982 Fax: +44 1206 872788 Fax: +39 (049) 875 8596

Workshop & Tutorial Chair:

Thomas Schiex INRA - Dept. of Biometry and AI Chemin de Borde Rouge BP 27 31326 Castanet-Tolosan France Email: Thomas.Schiex@toulouse.inra.fr Tel: +33 561285428 Fax: +33 561285335

Programme Committee:

Fahiem Bacchus, University of Toronto Christian Bessiere, LIRMM-CNRS Philippe Codognet, INRIA Boi Faltings, LIA-EPFL Thom Fruehwirth, Ludwig Maximillians University Georg Gottlob, Vienna University of Technology Pascal Van Hentenryck, Brown University Peter Jonsson, Linkoping University Helene Kirchner, LORIA & INRIA Manolis Koubarakis, Technical University of Crete Francois Laburthe, Bouygues SA Javier Larrosa, Universitat Politecnica de Catalunya Joao Marques-Silva, Universidade Tecnica de Lisboa Pedro Meseguer, IIIA-CSIC Michela Milano, University of Bologna Jean-Charles Regin, ILOG Christian Schulte, Saarland University Peter Stuckey, University of Melbourne Edward Tsang, University of Essex Benjamin Wah, University of Illinois Roland Yap, National University of Singapore Makoto Yokoo, NTT

Publicity Chair:

Ian Miguel Department of Computer Science The University of York Email: ianm@cs.york.ac.uk

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