| |
 |
|
|
Science Forum Index » Nonlinear Science Forum » [CFP] COCOS'03: second international workshop on Global Cons
Page 1 of 1
|
| Author |
Message |
| Christophe Jermann |
 Posted: Wed May 07, 2003 9:56 am |
|
|
|
Guest
|
(Apologies if you receive multiple copies of this message.)
===========================================================
2nd Call for Papers
COCOS 2003
Second International Workshop on
Global Constrained Optimization and Constraint Satisfaction
Olympic Museum
Lausanne, Switzerland
November 18th-21st, 2003
http://liawww.epfl.ch/cocos03
===========================================================
IMPORTANT DATES
---------------
* 20th Aug 2003 - Submission deadline
* 20th Sep 2003 - Notification of acceptance
* 30th Oct 2003 - Pre-registration ends
* 30th Oct 2003 - Final camera-ready copies
OBJECTIVES
----------
Continuous constraints are a natural way to represent
many practical problems and the knowledge they involve.
Such constraints may be simple or complex, linear or
non-linear and may, or may not, involve transcendental
functions. They are widely used to express, for example,
chemical or mechanical models, process descriptions,
building codes or cost restrictions. Many industrial
problems involving continuous constraints can be modeled
as continuous constraint satisfaction and optimization
problems (CSOPs). In practice, such models are often large
in size and non-linear.
As the preceding workshop, this workshop focuses on
complete solving techniques for continuous CSOPs that
provide all solutions with full rigor. Less rigorous solution
techniques are not excluded, since they may be part of
complete relevant techniques. Complete solution techniques
guarantee that all the constraints - e.g. security or
tolerance criteria - are satisfied and the global optima
identified. Completeness would thus benefit directly the
quality and reliability of decisions or analyses based on
the provided solutions. This has obvious implications in
many industrial and economic areas.
None of the existing approaches for solving non-linear
CSOPs is fully satisfactory in practice. Non-linear
programming techniques are routinely used and can solve
large-scale non-linear problems. However, they are
complete only in the convex case and if round off errors
are controlled. In contrast, constraint programming solvers
preserve completeness, but suffer from poor scalability.
The respective strengths of mathematical and constraint
programming appear however to be highly complementary and a
number of recent developments showed that there is a lot to
be gained by merging the different inference techniques they
provide and by combining their specific advantages.
The goal of this workshop is to bring together communities
from global optimization, mathematical programming and
constraint programming, giving the opportunity to promote
presentation and discussion of ongoing work on solving
techniques for continuous CSOPs. The workshop aims at
encouraging cross-fertilization between the various
approaches, including the study of adapted cooperation
strategies between mathematical and constraint programming,
and of new representations and abstractions for which they
can efficiently interact.
TOPICS
------
Relevant topics include, but are by no means restricted
to the following:
* Solution techniques for global optimization problems
* Integration of constraint programming with non-linear
programming techniques
* Linear and nonlinear convex enclosures of nonlinear programs
* Semidefinite programming techniques for global optimization
* Improved consistency techniques for continuous constraints
* Combination of symbolic methods with mathematical and
constraint programming techniques
* Solution techniques for under-constrained systems
* Adaptation of sparse matrix techniques to the non-linear case
* Representation and exploitation of monotonicity and
convexity properties
* Abstractions based on convex decomposition
* Partial boundary representation based on critical points
and topological abstractions
INVITED SPEAKERS
----------------
* Pr. John Hooker, Carnegie Mellon University
* Pr. Jean-Pierre Merlet, Coprin Team, INRIA: "Usual and unusual
applications of interval analysis"
* Pr. Jorge Moré, Mathematics and Computer Science Division, Argonne
National Laboratory
SUBMISSION
----------
The final deadline for submissions is August 20th. Submissions
are expected in the form of extended abstracts.
An extended abstract must be at least 2 pages. It must be
written in English and formatted using the standard LNCS/LNAI
format (see instructions at
http://www.springer.de/comp/lncs/authors.html).
The title page should include the name, address and e-mail
address for each author as well as a list of keywords.
Submissions have to be sent in postscript or PDF format
to cocos03@epfl.ch. A contact author should be specified in
the submission mail.
REVIEWING PROCESS
-----------------
Submissions will be judged on significance, originality,
quality and clarity. Each paper will be cross-reviewed by at
least two referees. Authors will receive feedback in the form
of reviewers' comments. The accepted submissions will be
presented during the workshop.
PUBLICATION
-----------
The organizers plan to publish a selection of full papers in
an appropriate book series or a special issue of a journal.
After the workshop, authors of selected extended abstracts will
be invited to submit a full paper with their contribution for
this formal publication. Submitted full papers will then be
formally reviewed before publication.
LOCATION & ACCOMODATION
-----------------------
The workshop will take place at the Olympic Museum of Lausanne,
main city of the French speaking Canton of Vaud in Switzerland,
from the 18th to the 21st of November 2003.
A number of hotel rooms will be pre-reserved for your convenience.
REGISTRATION
------------
The registration will be opened beginning of summer. Regular
registration fee will be around 380 CHF, while student fee will
be approximately 190 CHF. The fees will include all workshop
material, access to conference rooms, breaks and lunches
One author of each accepted submission must attend the workshop
to present his contribution.
PROGRAMME COMMITTEE
-------------------
Frédéric Benhamou, Université de Nantes, France
Christian Bliek, ILOG, France
Boi Faltings, Ecole Polytechnique Fédérale de Lausanne, Switzerland
Arnold Neumaier, University of Vienna, Austria
Peter Spellucci, Darmstadt University, Germany
Pascal Van Hentenryck, Brown University, USA
Luis N. Vicente, University of Coimbra, Portugal
ORGANIZATION & CONTACT
----------------------
Christophe Jermann & Djamila Sam-Haroud
Artificial Intelligence Laboratory
Institute of Core Computing Science
School of Computer and Communication Sciences
Swiss Federal Institute of Technology
IN (Ecublens), CH-1015 Lausanne (Switzerland)
Emails: Christophe.Jermann@epfl.ch
Jamila.Sam@epfl.ch
WWW: http://liawww.epfl.ch/~jermann
http://liawww.epfl.ch/~haroud
Phone: +41 21 693 52 09
Fax: +41 21 693 52 25 |
|
|
| Back to top |
|
| |
|
Page 1 of 1
All times are GMT - 5 Hours
The time now is Fri Dec 05, 2008 6:48 am
|
|