[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [Call for papers] Workshop on Constraint Based Methods forBioinformatics

*Apologies for multiple copies*

We would like to invite you to submit a paper to

Call for papers
WCB10 - Workshop on Constraint Based Methods for Bioinformatics
                  July 21st, 2010 Edinburgh
                 co-located to ICLP/FLOC 2010

                  Submission: April 1st, 2010


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. For
   instance, Haplotype/Pedigree inference, Phylogenetic
   reconstruction, Motif localization, and Alignments

* Biological systems simulations (for metabolic or regulatory

* Prediction of the spatial conformation of a bio-polymer, given its
   sequence of monomers (in particular for proteins and RNA).

The main aim of this workshop is twofold. On the one hand, to share
recent results in this area (new ideas, systems and solvers that rely
on constraints, but also on Logic Programming, Answer Set Programming,
Linear Programming, Mixed Integer Linear Programming, Local Search,
and any other AI techniques, possibly combining some of them). On the
other hand, to present new challenging problems recently formalized
but still beyond current computing capabilities.

Submitted papers can be

    * Extended Abstracts of new results or
    * Abstract of ongoing works
    * Systems presentations (with demos at the workshop)
    * Summaries of already accepted or recently published results

in the topics above. Submission style is the standard llncs
style. Page limit is 6 pages.
Submission is handled by Easychair http://www.easychair.org/


Submission Deadline:      April 1st, 2010
Notification to Authors:  April 30th, 2010
Camera-ready:             TBA
Workshop:                 July 21st, 2010.

The final submission must include latex sources. Participation of at
least one author is mandatory.


Alessandro Dal Palu'     Parma Univ., Italy
Agostino Dovier          Udine Univ., Italy
Sebastian Will           Freiburg  and MIT, USA


Rolf Backofen, Freiburg Univ., Germany.
Pedro Barahona, Univ. Nova de Lisboa, Portugal
Alexander Bockmayr, Freie Univ. Berlin, Germany
Mats Carlsson, SICS, Uppsala Sweden
Esra Erdem, Sabanci Univ., Turkey
Alessandro Dal Palý Univ. of Parma, Italy (co-chair)
Simon de Givry, INRA, Toulouse, France
Agostino Dovier Udine Univ., Italy (co-chair)
Francois Fages, INRIA Rocquencourt, France
InÍs Lynce, INESC-ID Lisboa, Portugal
Neil Moore, Univ. of St Andrews, Scotland
Enrico Pontelli, NMSU, USA
Sebastian Will Freiburg Univ. and MIT, USA, Germany (co-chair)

    Alessandro Dal Palu'
    Dip. di Matematica, Universita' di Parma
    Parco Area delle Scienze, 53/A, 43100 Parma, Italy