---------- Forwarded Message ---------- Subject: [SICStus] 2nd CFP: CP2001 Workshops Date: Wed, 15 Aug 2001 15:48:37 +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@cs.umn.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:
CP'01 Workshop program
You'll find below a concise description of all CP'01 workshops. For more information, please follow the links to each workshop page. See also http://www.inra.fr/bia/T/schiex/workshopsCP.html.
Two non overlapping 1/2 day workshops
----------------------- Soft'01 Third Workshop on Modelling and Solving Problems with Soft Constraints
Topic: theoretical and practical issues raised by soft constraints
Contact: Javier Larrosa (larrosa@lsi.upc.es). Web: http://www.lsi.upc.es/~larrosa/Soft01.html ----------------------- CUW'01 Constraints and Uncertainty Workshop
Topic: modelling and handling uncertainty in constraint problems (including dynamic issues) Contact: Ken Brown (kbrown@csd.abdn.ac.uk) Web: http://www.csd.abdn.ac.uk/~kbrown/CP2001Uncertainty/ -----------------------
Two other non overlapping 1/2 day workshops
----------------------- Formul'01 Modelling and Problem Formulation
Topic: problem formulation, i.e, the representation of problem entities as variables and values of a CSP Contact: Patrick Prosser (pat@dcs.gla.ac.uk) Web: http://www.dcs.gla.ac.uk/~pat/cp2001/ ----------------------- SymCon'01 Symmetry in Constraints
Topic: analysis and development of techniques to detect and exploit symmetry in constraint satisfaction problems. Contact: Justin Pearson (justin@docs.uu.se) Web: http://www.docs.uu.se/~justin/ASTRA/Workshop/ -----------------------
One day workshops ----------------------- OLCP'01 On-Line combinatorial problem solving and Constraint Programming
Topic: methods and tools allowing to deal with space/time operational constraints for on-line resolution. Contacts: Juliette Mattioli (juliette.mattioli@thalesgroup.com) Simon de Givry (simon.degivry@thalesgroup.com) Web: http://www.lcr.thomson-csf.com/projects/www_eole/workshop/olcp.html ----------------------- MusiCons'01 Musical Constraints
Topic: works dealing with constraint programming applied to music.
Contact: Charlotte Truchet (Charlotte.Truchet@ircam.fr) Web: http://www.ircam.fr/equipes/repmus/cpws/ ----------------------- CICLOPS'01 Colloquium on Implementation of Constraint and LOgic Programming Systems.
Topic: design, implementation, and optimization of logic and constraint programming systems Contact: Enrico Pontelli (epontell@cs.nmsu.edu). Web: http://www.cs.ucy.ac.cy/iclpcp2001/ ----------------------- RCoRP'01 Third Workshop on Rule-based Constraint Reasoning and Programming
Topic: using rule-based formalisms in constraint reasoning and programming Contact: Slim Abdennadher (abdennad@informatik.uni-muenchen.de)
Web: http://www.pms.informatik.uni-muenchen.de/ereignisse/iclpr2001.html ----------------------- UICS'01 International Workshop on User-Interaction in Constraint Satisfaction
Topic: technical issues associated with supporting user interaction for constraint-based applications, languages or environments. Contact: Barry O'Sullivan (b.osullivan@cs.ucc.ie) Web: http://www.cs.ucc.ie/~osullb/cp01/ ----------------------- COSOLV'01 Workshop on Cooperative Solvers in Constraint Programming
Topic: all aspects (theory, specific cooperations, systems and applications) of cooperative solving processes. Contact: Eric Monfroy (monfroy@irin.univ-nantes.fr) Web: http://www.sciences.univ-nantes.fr/info/recherche/Theme_Contraintes/cosolv/c... solv.html
-------------------------------------------------------
-
Gustaf Neumann