WCB08: Workshop on Constraint Based Methods for Bioinformatics, 22 May (The Reasoner, 2008)