News Description
( current | all | 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006)Course on Constraint-Based Local Search
20-22 June 2007, Université catholique de Louvain, Louvain-la-Neuve, Belgium.
Prof. Pascal Van Hentenryck, Brown University, USA.
Content
Comet is an object-oriented programming language for constraint-based local search [1]. It features advanced modeling and control abstractions to simplify the design and implementation of neighborhood search algorithms, including invariants, differentiable events, events, and nondeterminism. It also supports high-level abstractions for parallel and distributed computing. Its applications range from resource allocation, to facility locations and scheduling.
Comet's underlying computational paradigm is Constraint-Based Local Search, the idea of specifying local search algorithms as two components: a high-level model describing the applications in terms of constraints, constraint combinators, and objective functions; a search procedure expressed in terms of the model at a high abstraction level.
Constraint-based local search makes it possible to build local search algorithms compositionally, to separate modeling from search, to promote genericity and reusability across many applications, and to exploit problem structure to achieve high performance.
[1] P. Van Hentenryck, L. Michel. Constraint-Based Local Search. MIT Press, 2005.
Organization
The course is organized by the Graduate School in Computing Science (GRASCOMP).
- Three days course, 20-22 June 2007.
- Location : Louvain-la-Neuve, Belgium.
- The course will contain practical and tutoring sessions where the participants will use Comet.
- The tutoring and pratical sessions will be held in a computer lab. Participants may bring their own laptop, provided they already installed Comet (www.comet-online.org).
More information : icampus.grascomp.be/courses/COMP005/
Registration
- This course is open to graduate students and researchers from any university. The number of participants is limited to 40 persons.
- The participation fee is 100 Euros for students and 150 Euros for non students. It is free for the GrasComp graduate students (free registration to GRASCOMP for PhD students : www.grascomp.be).
- Some rooms are available at the Relais hotel (www.relais.ucl.ac.be) in Louvain-la-Neuve (32 Euros, single room).
- Registration is mandatory. For information and registration, contact Stéphanie Landrain (sr@info.ucl.ac.be).