Dear colleague, The deadline for paper submission to the Bit-Precise Reasoning Workshop, BPR2008, (http://www.bit-precise-reasoning.org/) has been extended to May 5th. We apologize if you receive multiple copies of this email. Regards, Amit Goel and Domagoj Babic