[CFP] Deadline Extension WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics

[Sebastian Will]

Dear colleague,

we invite you to submit to WCB12, the Workshop on Constraint Based
Methods for Bioinformatics 2012; we extended the submission deadline.
Please apologize multiple copies.

Rolf and Sebastian

+-------------------------------------------------------------------------+

                 CALL FOR PAPERS --- DEADLINE EXTENSION

 WCB 2012 - Workshop on Constraint Based Methods for Bioinformatics 2012

                 Budapest, Hungary, September, 8th, 2012
                       Collocated with ICLP 2012

            http://www.bioinf.uni-freiburg.de/Events/WCB12/

                 Submission: June, 1st, 2012 (EXTENDED)

+-------------------------------------------------------------------------+


OVERVIEW AND SCOPE
------------------
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
   networks)
 * 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.


MANUSCRIPT SUBMISSION
---------------------
We welcome submissions of

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

in the topics above. Manuscripts should be formatted in the standard
llncs style and submitted as PDF. The page limit is 6 pages.
Submission is handled by Easychair
https://www.easychair.org/conferences/?conf=wcb12


IMPORTANT DATES
---------------
Submission Deadline:      June 1st, 2012 (EXTENSION)
Notification to Authors:  July 2nd, 2012
Camera-ready:             July 27th, 2012
Workshop:                 September 8th, 2012

The final submission must include latex sources. We are going to use
Computing Research Repository (CoRR) for the workshop proceedings. At
least one author is required to participate in the workshop and
present the work.


PROGRAM COMMITTEE
-----------------
Nicos Angelopoulos Netherlands Cancer Institute
Rolf Backofen (chair) Freiburg Univ., Germany
Pedro Barahona Univ. Nova de Lisbona, Portugal
Alexander Bockmayr Freie Universität Berlin, Germany
Alessandro Dal Palù Parma Univ., Italy
Agostino Dovier Udine Univ., Italy
Esra Erdem Sabanci Univ., Turkey
Francois Fages INRIA Rocquencourt, France
Andrea Formisano University of Perugia, Italy
Ines Lynce, INESC-ID Lisboa, Portugal
Enrico Pontelli NMSU, USA
Sven Thiele Univ. of Potsdam, Germany
Pascal Van Hentenryck Brown University, USA
Sebastian Will (chair) Freiburg Univ., Germany