Decision procedures are key components within many formal verification and automated reasoning tools. Their performance, capacity, and scalability are vital to the tools that depend on them. Furthermore, new extensions may allow the formal verification or automated reasoning tools to use decision procedures more effectively. The goal of this workshop is to bring together researchers interested in making new decision procedures possible, and old decision procedures more powerful and more useful.

Sample topics of interest include:

Important dates

Submissions due: May 15th, 2006
Notification of acceptance/rejection: June 23rd, 2006 (MODIFIED!)
Camera-ready copies due: July 3rd, 2006 (MODIFIED!)
Workshop: August 21st, 2006


PDPAR will accept two types of papers: Both kind of submissions will be reviewed by at least two referees, possibly more. Submissions should be sent by email to, and should include: Further information about how to submit papers will be made available at the workshop's web page.


Given the informal style of the workshop, only informal (non-archival) proceedings will be distributed at the workshop. A selected subset of the submitted papers will be published as post-proceedings in a special volume of the Electronic Notes in Theoretical Computer Science (ENTCS) (unless the authors prefer not to).


The authors of accepted submissions are expected to give a presentation at the workshop. They will be asked for the files of their presentations, which will be made available on the workshop's web page after the workshop.

Program chairs and committee

Byron Cook, Microsoft Research (co-chair)
Roberto Sebastiani, Universita` di Trento (co-chair)
Alessandro Armando, Universita` di Genova
Clark Barrett, New York University
Alessandro Cimatti, ITC-Irst, Trento
Leonardo de Moura, SRI International
Niklas Een, Cadence Design Systems
Daniel Kroening, ETH-Zurich
Shuvendu Lahiri, Microsoft Research
Robert Nieuwenhuis, Technical University of Catalonia
Silvio Ranise, LORIA, Nancy
Eli Singerman, Intel Corporation
Ofer Strichman, Technion
Aaron Stump, Washington University
Cesare Tinelli, University of Iowa
Ashish Tiwari, Stanford Research Institute (SRI)

Registration and local information

Information about registration, and the workshop's location will be made available on the FLoC 2006 website.