---------- Forwarded Message ---------- Subject: [SICStus] Proceedings of an ERCIM Working Group on Constraints on line Date: Tue, 9 Oct 2001 15:21:57 +0200 (CEST) From: Krzysztof Apt K.R.Apt@cwi.nl 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, 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@maraton.sim.ucm.es, csl@dbai.tuwien.ac.at, dai-list@mcc.com, discipl@inria.fr, distributed-ai@mailbase.ac.uk, dl@dl-kr.cs.rmit.edu.au, 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.unip! i.! 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, seworld@cs.colorado.edu, 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, simonco@cs.york.ac.uk, ianm@cs! .y! ork.ac.uk Cc: J.Y.Halpern@cwi.nl

We are happy to announce that the Proceedings of the

6th Annual Workshop of the ERCIM Working Group on Constraints

are now freely available on line at the Computing Research Repository (CoRR), see http://arXiv.org/abs/cs/0110012.

We all get plenty of calls for papers for workshops but never hear of the proceedings. We hope that this example will encourage organizers of other workshops to place the proceedings in CoRR, as well.

CoRR forms a part of the Los Alamos National Laboratory (LANL) archives. They have been widely used since 1992 by the physicists and mathematicians. The number of connections per day is around 100,000. CoRR opened, in cooperation with the ACM, in August 1998.

In these archives one can freely search, browse, and post articles and electronic proceedings of a conference. Additionally, thanks to a simple alert system one can monitor postings in any of its areas.

The editors

Krzysztof R. Apt Roman Bartak Sebastian Brand Eric Monfroy Francesca Rossi

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