Call for Papers CSG379-07: 1st CSG-379 Workshop on Decision Procedures for Verification Northeastern University, Boston, December 5&7 2007
Scope of Conference
The state of the art in practical decision procedures for various fragments of logic arising in software and hardware verification.
We are interested in decision procedures for logics ranging from propositional logic to temporal logic to logics that include arithmetic,
uninterpreted functions, equality, arrays, etc. Topics of interest include but are not limited to:
Boolean Satisfiability: NP-Completeness, DPLL, preprocessing and translation to CNF, BDDs, equivalence checking
Reductions to SAT: pseudo-boolean satisfiability, bounded model checking and k-induction, modeling and verification of systems
First-Order Logic: Undecidability of FOL and arithmetic, FOL as the foundations of mathematics
ACL2: programming language, logic, mechanization, simplification, and termination
Model Checking: temporal calculi, temporal logics, explicit model checking
Papers Submission
Authors are invited to submit an English language PDF of their paper
(between 8 and 16 pages,
LNCS format, including figures and bibliography) by
November 30th, 2007.
For more information, see the
submission and review section of the CSG379-07 website.
Review Process
A double blind review process will be used, therefore, submissions must not identify authors in any way. Papers should include a short abstract of approximately 150 words clearly stating the contribution of the submission. Finally all papers will be considered for a distinguished paper award.
For more information, see the
submission and review section of the CSG379-07 website.