ian miguel tjltdcsstandacuk apologies multiple copies call papers participation fifth workshop modelling solving problems constraints http4cucciebrahimijcai05ws held nineteenth international joint conference artificial intelligence ijcai 2005 edinburgh uk july 30august 1 2005 introduction constraint programming cp powerful technology solve combinatorial problems ubiquitous academia industry last ten years witnessed significant research devoted modelling solving problems constraints cp mature field successfully used tackling wide range reallife complex applications constraint solving intractable general problems become difficult solve size increase therefore always need efficient solvers cope ever difficult problems techniques design specialised filtering algorithms recurring constraints sophisticated search techniques heuristics guide search symmetry breaking significant impact time spent solve problems efficiency improved also bridging gap cp communities operations research local search sat planning machine learning formulating effective model given problem often requires trying alternate models using modelling tricks redundant modelling channelling could challenge even modelling experts increasing use cp necessitates higher level modelling languages facilitate exploitation available technology make cp reachable wider user base hope next generation modelling languages assist modellers instance helping acquire validate constraints automatically generating alternate models selecting appropriate one application hand synthesising propagators complex constraints desirable extend classical framework modelling solving constraints adapt reallife scenarios instance many problems contain uncertainty thus user may require robust solutions cases problems overconstrained user preferences constraints relax explanations necessary understand solution process reallife problems often optimisation problems users might want improve quality solutions quickly possible workshop rapidly growing use cp industrial applications makes crucial fill gap users needs answers provided technology developing efficient ways solve constraints assisting users modelling phase extending classical modelling solving framework capture reallife scenarios important steps towards better applicability cp technology reallife problems oneday workshop address modelling solving jointly looking ways enrich efficiency usability expressiveness cp tools interest academics ai community working constraint reasoning people industry using cp technology solve problems workshop topics include limited filtering algorithms synthesising propagators symmetry constraints search algorithms heuristics local hybrid search modelling constraint acquisition validation model generation selection preferences optimisation overconstrained problems uncertainty robustness explanations reallife applications addition technical presentations based accepted papers invited talk modelling competition planned details competition available shortly workshop fifth series following successful earlier workshops held alongside ecai 2000 ijcai 2001 ecai 2002 ecai 2004 also related workshops cp 2001200220032004 ijcai 19992003 ecai 1998 participation encourage participation organisers ask standard contributions including research results workshop topics well submissions posting challenging problems discussed workshop least one author submission accepted presentation must attend workshop present contribution workshop open members ai community attendance limited active participants workshop attendees need register main ijcai conference submissions selection process submit paper workshop please email ddxbq4cuccie ps pdf file ijcai conference style httpijcai05csdabdnacukindexphpsectionpapersformat papers exceed 8 pages submissions must received april 23 2005 organising committee acknowledge submissions submitted paper acknowledged 2 working days authors kindly asked contact chair submissions reviewed present significant contribution workshop topics accepted publication workshop proceedings proceedings available electronically workshop page hard copy day workshop important dates submission deadline april 23 notification acceptance may 22 camera ready deadline may 29 organisation organising committee zeynep kiziltan chair università di bologna italy christian bessiere lirmmcnrs france brahim hnich 4c university college cork ireland toby walsh university new south wales australia competition organisers ian gent university st andrews uk barbara smith 4c university college cork ireland programme committee claire bagley oracle corporation usa roman bartak charles university czech republic nicolas beldiceanu ecole des mines de nantes france carmen gervet icparc imperial college london uk esther gelle abb switzerland corporate research switzerland warwick harvey icparc imperial college london uk jimmy lee chinese university hong kong hong kong pedro meseguer iiiacsic spain michela milano università di bologna italy wim nuijten ilog netherlands patrick prosser glasgow university uk jeanfrancois puget ilog france jeancharles regin ilog france thomas schiex institut national de la recherche agronomique france peter stuckey university melbourne australia edward tsang university essex uk mark wallace monash university australia tue 05 aug 2008 194016 0800 uai cfp 5th workshop modelling solving problems constraints