posted by system || 3161 views || tracked by 8 users: [display]

WCB 2010 : Workshop on Constraint Based Methods for Bioinformatics


When Jul 21, 2010 - Jul 21, 2010
Where Edinburgh
Submission Deadline Apr 1, 2010
Notification Due Apr 30, 2010
Categories    artificial intelligence   bioinformatics   constraint programming   logic programming

Call For Papers


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


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

Related Resources

ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
IJCAI 2021   30th International Joint Conference on Artificial Intelligence
ML4Educaion 2021   Special Issue on Machine Learning methods for Cloud-based IoT applications in Intelligent E-learning and Educational systems
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
I-WANDER 2021   [Scopus, Scholar] International Workshop on Anomalies Detection and Road Traffic Analysis in Smart Cities (in conjuction with ICPRAM 2021)
SIUSAI 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2021)
FM 2021   Formal Methods 2021
EI-RACE 2021   2021 Asia-Pacific Conference on Robotics, Automation and Communication Engineering (RACE 2021)
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
StoryCase 2012   ICCBR-12 Workshop on Stories, Episodes, and Cases (StoryCase)