WCB 2016 - 12th International Workshop on Constraint-Based Methods for Bioinformatics (WCB'16)

During the last years, Biology has become a source of challenging problems for the entire field of Computer Science in general, and for the areas of computational logic and constraint programming in particular. Successful approaches to these problems are likely to have significant applications in several fields of research, such as medicine, agriculture, industry, etc. Several successful applications of the Logic and Constraint Programming paradigms in Bioinformatics have been carried out in the last years, in the area of phylogenetic tree reconstruction, in haplotype inference, in proteins structure prediction, in RNA secondary structure prediction, and in system biology, just to cite a few.
The workshop aims at exchanging ideas between researchers and collecting, if possible, new problems to be faced in the next future by our community.
Paper Submissions
The topic of interest are all those concerning bioinformatics and constraints and related (SAT/ASP/Logic Programming/Integer Linear Programming) techniques, such as:
RNA prediction and motif search
protein structure and functional prediction
genetic linkage analysis and haplotype inference
pedigree reconstruction and diagnosis
genomic selection design
gene regulatory network inference and analysis
biochemical network simulation and visualization
solvers for problems in biology
metabolic pathway analysis
DNA sequence assembly
contig scaffolding
multiple sequence alignment
machine learning and big data
ontologies in biology
constraint databases in bioinformatics
logical interfaces to relational biological databases
web bioinformatics services
Submitted papers can be:
Full papers describing new research results
Extended Abstracts concerning original (unpublished) results.
Abstracts describing ongoing work.
System descriptions (with demos at the workshop).
Summaries of already accepted or recently published papers/results.
Well-motivated proposals of bioinformatics problems for constraint based methods.