[SMT-LIB] CFP - The 1st International Workshop on Bit-Precise Reasoning (BPR 2008)
bit.precise.reasoning at gmail.com
Fri Jan 4 21:15:49 EST 2008
CALL FOR PAPERS
BPR'08 - The 1st International Workshop on Bit-Precise Reasoning
Location: Princeton, New Jersey. July 14th, 2008.
(Affiliated with CAV 2008.)
Bit-Precise Reasoning is increasingly being used for the analysis of
many real world hardware and software systems. Current applications
include microcode validation, word-level model checking, software
verification, equivalence checking and random testcase generation.
The continued success in these and other applications depends on the
development of more efficient decision procedures for bit-precise
reasoning, their combination with decision procedures for other
theories (e.g. the theory of arrays), as well as domain-specific
techniques to further increase the scalability of the analysis.
The goal of this workshop is to bring together researchers in
Bit-Precise Reasoning with industrial users. Topics of interest
include, but are not limited to:
* Case studies and applications
* New decision procedures and novel implementation techniques
* Combination with other theories
* Theoretical results
* Benchmarks and evaluation methodologies
* Original Papers that have not been previously published or
submitted (simultaneous submissions are not allowed). Tutorial
/ survey papers are encouraged. Given the informal style of the
workshop, work in progress will be welcome. Papers must be less
than 12 pages long and will be published in the proceedings to
be distributed to the participants.
* Presentation-only Papers describing work recently published or
submitted. These papers will not be published in the proceedings.
Both kinds of submissions will be peer reviewed.
* Submission: April 28th, 2008
* Notification: June 2nd, 2008
* Final version: June 9th, 2008
* Workshop: July 14th, 2008
Daniel Kroening, Oxford University
Domagoj Babic (co-chair), University of British Columbia
Amit Goel (co-chair), Intel Corporation
Per Bjesse, Synopsys, Inc.
Alessandro Cimatti, ITC-Irst, Trento
Jim Grundy, Intel Corporation
Ranjit Jhala, University of California, San Diego
Pete Manolios, Georgia Institute of Technology
Leonardo de Moura, Microsoft Research
Ofer Strichman, Technion - Israel Institute of Technology
Karen Yorav, IBM Haifa
More information about the SMT-LIB