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

WCB 2010 : Workshop on Constraint Based Methods for Bioinformatics

FacebookTwitterLinkedInGoogle

Link: http://wcb10.dimi.uniud.it/
 
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

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

Related Resources

ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
IARCE 2021-Ei Compendex & Scopus 2021   2021 5th International Conference on Industrial Automation, Robotics and Control Engineering (IARCE 2021)
CIMA 2021   9th International Workshop on Combinations of Intelligent Methods and Applications
CFMAI 2021   2021 3rd International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2021)
ML4Educaion 2021   Special Issue on Machine Learning methods for Cloud-based IoT applications in Intelligent E-learning and Educational systems
EI-ISoIRS 2021   2021 2nd International Symposium on Intelligent Robotics and Systems (ISoIRS 2021)
I-WANDER 2021   [Scopus, Scholar] International Workshop on Anomalies Detection and Road Traffic Analysis in Smart Cities (in conjuction with ICPRAM 2021)
JCRAI 2021   2021 International Joint Conference on Robotics and Artificial Intelligence (JCRAI 2021)
CPAIOR 2021   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages