---------- Forwarded Message ---------- Subject: [SICStus] [CP2001] Call for Tutorial Proposals Date: Thu, 07 Jun 2001 10:54:03 +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, zforum@prg.ox.ac.uk

Apologies if you receive this more than once:

The CP'2001 Program Committee invites proposals for the Tutorial Program to be held in Cyprus. Tutorials will take place during the technical program.

CP'2001 tutorials are ideally targeted at the whole constraint community and should give a state of the art description of a field of research related to constraint programming or of a large area of application. Tutorials may address theoretical and/or practical aspect of constraint solving. Typical subjects, without any limitation are: numerical CSP, global constraints, n-ary constraints, soft constraints, mathematical programming, dynamic programming and constraints, cooperation between methods, local search, functional/concurrent/logic constraint programming, areas of application (eg. bioinformatics)...

Important Dates for Tutorials

August 31, 2001: Proposal submission deadline September 14, 2001: Acceptance notification October 15, 2001: Deadline for tutorial notes November 26-30, 2001: CP technical program and tutorials

More information on http://www.inra.fr/bia/T/schiex/cfwp.html

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