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:

• New decision procedures
• New methods of implementing decision procedures
• New ways of using of the infrastructure common to decision procedures
• Applications and case studies

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

Submission

PDPAR will accept two types of papers:

• Original papers: should describe original research and contain sufficient detail to assess the merits and relevance of the contribution. Simultaneous submission of material is prohibited. Given the informal style of the workshop, the submission of papers presenting student's work and work in progress is encouraged.
• Presentation-only papers: describe work previously published in non-FLOC'06 forums, and will *not* be inserted in the proceedings. We are allowing the submission of previously published work in order to allow researchers to communicate good ideas that the PDPAR attendees are potentially unaware of.

Both kind of submissions will be reviewed by at least two referees, possibly more. Submissions should be sent by email to pdpar06@dit.unitn.it, and should include:

• the paper in PDF (preferred) or PostScript format as an attachment. The paper should not exceed 10 pages, including the bibliography, and should be written in LaTeX with the following settings: 11pt, one column, a4paper and standard margins. The paper may include, in addition, an appendix containing technical details, which reviewers may read or not, at their discretion;
• a submission message, with names and affiliations of all authors, the title of the paper, the contact author's postal and e-mail addresses phone number, and a one- or two-paragraph abstract, and the type of submission. A template will be made available.

Further information about how to submit papers will be made available at the workshop's web page.

Proceedings

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).

Presentations

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)