2 n d C A L L F O R P A P E R S ------------------------------------- Joint Workshop of the ERCIM Working Group on Constraints and the CologNet area on Constraint and Logic Programming on CONSTRAINT SOLVING AND CONSTRAINT LOGIC PROGRAMMING http://www.cs.ucc.ie/~osullb/ercim2002/ Cork Constraint Computation Centre University College Cork, Ireland. 19th-21st of June, 2002 This workshop will co-locate two events: the seventh meeting of the ERCIM Working Group on Constraints (http://www.cwi.nl/projects/ercim-wg.html), co-ordinated by Krzysztof R. Apt, and the first annual workshop of the CologNet area on Constraint and Logic Programming, coordinated by Francesca Rossi. CologNet is a european-funded network of excellence, which continues the role played by the CompulogNet network, which ended in 2001. The aim of this workshop is to constitute a forum where (mostly European) researchers on constraints can meet in an informal setting and discuss their most recent work. The location we chose this year is especially interesting, since the Cork Constraint Computation Centre is a new research centre, supported by Science Foundation Ireland and lead by Eugene Freuder, which is entirely devoted to studying constraint processing. Thus the workshop participants will have a unique opportunity to see the centre, meet its members, and possibly start useful collaborations for the future. This year's workshop is co-organised by: Krzysztof R. Apt, CWI, The Netherlands (k.r.apt@cwi.nl) Francois Fages, INRIA, France (francois.fages@inria.fr) Eugene Freuder, University College Cork, Ireland (e.freuder@4c.ucc.ie) Barry O'Sullivan, University College Cork, Ireland (b.osullivan@cs.ucc.ie) Francesca Rossi, University of Padova, Italy (frossi@math.unipd.it) Toby Walsh, University of York, UK. (tw@cs.york.ac.uk) Scope: ------ This workshop will cover all aspects of constraint and logic programming, with particular emphasis on assessing the current state of the art and identifying future directions. Call for Papers: ---------------- We would like to invite authors to submit papers (preferably up to 10 pages long in the Springer LNCS style (http://www.springer.de/comp/lncs/authors.html)) on research on constraint and logic programming, with particular emphasis on assessing the current state of the art and identifying future directions. Submissions may be of one of the following forms, labelled as such on the title page: - a position paper - a work-in-progress paper - a standard paper - a demo description paper. Proposals for panels are also encouraged. The submission deadline is April 20, 2002. Please send an electronic version of the paper, in the form of a Postscript Level 2 or PDF file, to Barry O'Sullivan (b.osullivan@cs.ucc.ie) using the subject line "ERCIM Workshop Submission". Authors will be notified of acceptance/rejection by May 5th, 2002. Camera-ready version is due May 20th, 2002. Depending on the sufficient number of high quality submissions, the organisers plan to publish selected papers in a special volume in an appropriate book series or a special issue of a journal. Registration and Scholarships: ------------------------------ There is no registration fee. Particpants are asked to register for the workshop before May 15th 2002 by sending a message to Barry O'Sullivan (b.osullivan@cs.ucc.ie). The workshop is open to all and not restricted to ERCIM or CologNet members. Some scholarships will be available to help students with travel expenses. Students who need support should contact Barry O'Sullivan as early as possible. Invited Speakers: ----------------- Two invited talks have been organised for the workshop: o Manuel Hermenegildo - UPM, Madrid, Spain "Abstract Verification and Debugging of (C)LP Programs" o Barbara Smith - University of Huddersfield, UK "Solve your problem faster by changing the model" Location: --------- The workshop will take place at the Cork Constraint Computation Centre (http://www.4c.ucc.ie) at University College Cork, Ireland.