Cork, Ireland, August 31 2015
Colocated jointly with CP 2015 and ICLP 2015
9.00-10.00 Opening and Invited presentation
10.00-10.30 Coffee Break
10.30-12.00 Accepted papers
10.30-11.00. Ludwig Krippahl and Pedro Barahona.
Symmetry constraints for modelling homo-oligomers
11.00-11.30. Nicos Angelopoulos and George Giamas.
Working with biological databases
11.30-12.00. Clément Viricel, Sophie Barbe, and Thomas Schiex.
Approximate Counting with Deterministic Guarantees for Affinity Computation
12.00 Discussion (and lunch)
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.
There is a track of the ALMOB Journal (IF 1.86) devoted to these topics where extended, revised versions of WCB papers are particularly welcome.
The topic of interest are all those concerning bioinformatics and constraints and related (SAT/ASP/Logic Programming/ILP) 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
- constraint databases
- logical interfaces to relational databases
- web services
- databases integration and federation
- RDF graphs and tools
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.
2015/6/15 – Deadline for submissions
2015/7/15 – Notification
2015/7/30 – Camera ready version
2015/8/31 – Workshop
Submitted papers should be 3-15 pages long in the LNCS format.
Submissions site: https://easychair.org/conferences/?conf=wcb2015
Programme committee (tentative)
- Nicos Angelopoulos (Imperial College, UK)
- Rolf Backofen (Freiburg Univ, Germany)
- Alexander Bockmayr (Free University of Berlin, Germany)
- Mats Carlsson (SICS, Sweden)
- Simon de Givry (MIAT-INRA, France)
- Francois Fages (INRIA, France)
- David Lesaint (Univ. of Angers, France)
- Arun Konagurthu (Monash University, Australia)
- Ines Lynce (INESC-ID Lisboa, Portugal)
- Nigel Martin (Birkbeck, University of London, UK)
- Enrico Pontelli (New Mexico State Univ, USA)
- Sylvain Soliman (INRIA, France)
- Sebastian Will (University Leipzig, Germany)
- Matthias Zytnicki (INRA, France)