================================================================
CALL FOR PAPERS
WCB06
Workshop on Constraint Based Methods for Bioinformatics
http://www.dimi.uniud.it/dovier/WCB06/
September 25th, 2006,
Cite' des Congres - Nantes, France
=================================================================
-----------------------------------------------------------------
Description
-----------------------------------------------------------------
Bioinformatics is a challenging and fast growing area of
research, which is of utmost importance for our understanding of
life. Major contributions to this discipline can have thousands
of positive effects in medicine, agriculture, or industry. To
pick out only a few examples, Bioinformatics tackles problems
related to:
* Recognition, analysis, and organization of DNA sequences
* Biological systems simulations (for metabolic or regulatory
networks)
* Prediction of the spatial conformation of a biological poly-
mer, given its sequence of monomers (in particular for
proteins and RNA)
All these problems can be naturally formalized using constraints
over finite domains or intervals of reals. Biology is a source of
extremely interesting and challenging problems that can be
encoded exploiting the application of recent and more general
techniques of constraint programming. In this framework, some
problems that have been successfully tackled are:
* The fundamental bioinformatics problem of sequence alignment
can be solved by recent inference based constraint methods
* Biological systems simulations can be easily designed using
concurrent constraint programming, and
* The constrained-based prediction of protein conformations
promoted the development of new search strategies, new
constraint solvers, and general symmetry breaking.
The main aim of this workshop is twofold. On the one hand, to
share recent results in this area (new constraint solvers, new
prediction and simulation programs). On the other hand, to
present new challenging problems formalized and/or solved with
constraint based methods.
-----------------------------------------------------------------
Important Dates
-----------------------------------------------------------------
Submission Deadline: June 30th, 2006
Notification to Authors: July 22th, 2006
Camera-ready copy due: August 16th, 2006
Workshop: September 25th, 2006
-----------------------------------------------------------------
Program Committee
-----------------------------------------------------------------
Rolf Backofen Freiburg Univ., Germany
Pedro Barahona Univ. Nova de Lisbona, Portugal
Mats Carlsson SICS, Uppsala Sweden
Alessandro Dal Palu' (co-chair) Parma Univ., Italy
Simon de Givry INRA Toulouse, France
Agostino Dovier (co-chair) Udine Univ., Italy
Francois Fages INRIA Rocquencourt, France
Tony Kusalik Saskatchevan Univ., Canada.
Enrico Pontelli NMSU (USA)
Sebastian Will (co-chair) Freiburg Univ., Germany
-----------------------------------------------------------------
Submission Details
-----------------------------------------------------------------
Submitted papers can be
* Summaries of already accepted or recently published results
* Extended Abstracts of new results or
* Abstract of ongoing works
in any topic concerning bioinformatics and constraints.
Submission style is the standard llncs style. Page limit is 6
pages. Please send the pdf or ps to
[EMAIL PROTECTED]
We plan to publish a selection of revised papers of WCB05 and
WCB06 as a special issue of a major journal.
-----------------------------------------------------------------
Participation
-----------------------------------------------------------------
At least one author of each accepted submission must attend the
workshop. All workshop participants must pay the workshop fee
according to CP rules.
-----------------------------------------------------------------
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
