yves deville xdoinfouclacbe apologies cross posting please forward interested people call participation grascomp graduate school computing science organizing constraintbased local search pascal van hentenryck brown university 20 21 22 june 2007 université catholique de louvain louvainlaneuve belgium content comet objectoriented programming language constraintbased local search 1 features advanced modeling control abstractions simplify design implementation neighborhood search algorithms including invariants differentiable events events nondeterminism also supports highlevel abstractions parallel distributed computing applications range resource allocation facility locations scheduling comets underlying computational paradigm constraintbased local search idea specifying local search algorithms two components highlevel model describing applications terms constraints constraint combinators objective functions search procedure expressed terms model high abstraction level constraintbased local search makes possible build local search algorithms compositionally separate modeling search promote genericity reusability across many applications exploit problem structure achieve high performance 1 p van hentenryck l michel constraintbased local search mit press 2005 organisation three days course contain practical tutoring sessions participants use comet tutoring pratical sessions held computer lab participants may bring laptop provided already installed comet wwwcometonlineorg registration course open graduate students researchers university number participants limited 40 persons participation fee 100 euros students 200 euros non students free grascomp graduate students rooms available relais hotel wwwrelaisuclacbe louvainlaneuve 32 euros single room registration mandatory information registration contact stéphanie landrain skinfouclacbe thu 07 aug 2008 225902 0200 uai graduate course comet p van hentenryck