Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: WCB10 - Workshop on Constraint Based Methods for Bioinformatics



Call for papers

WCB10 - Workshop on Constraint Based Methods for Bioinformatics

July 21st, 2010 Edinburgh
co-located to ICLP/FLOC 2010
http://wcb10.dimi.uniud.it/

Submission: April 1st, 2010

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.

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/


IMPORTANT DATES

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.


PROGRAM CO-CHAIRS

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

PROGRAM COMMITTEE

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 Palu` Univ. of Parma, Italy (co-chair)
Simon de Givry, INRA, Toulouse, France
Agostino Dovier Udine Univ., Italy (co-chair)
Francois Fages, INRIA Rocquencourt, France
Ine^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)

В избранное