[Prev][Next][Index][Thread]
2nd Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming
-
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
-
Subject: 2nd Call for Papers: 7th International Conference on Principles and Practice of Constraint Programming
-
From: Ian Miguel <ianm@cs.york.ac.uk>
-
Date: Tue, 27 Mar 2001 16:17:21 +0100
-
Sender: ianm@cs.york.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