[We apologize if you receive multiple copies of this announcement]

======================================================================

      ===================   Call for Papers ====================


                         FLOC'06/IJCAR'06 Workshop

                              PDPAR 2006:
                      4th International Workshop on 
          Pragmatics of Decision Procedures in Automated Reasoning 

                   http://dit.unitn.it/~rseba/pdpar06/

                      Seattle, Washington, USA
                          August 21st, 2006 

======================================================================

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
~~~~~~~~~~~~~~~
Submission deadline                  : May 15, 2006 
Notification of acceptance/rejection : June 23, 2006  (MODIFIED!)
Final version due                    : July 3, 2006  (MODIFIED!)
Workshop                             : August 21, 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.

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
~~~~~~~~~~~~~~
Byron Cook, Microsoft Research 
Roberto Sebastiani, Universita` di Trento 

Program Committee
~~~~~~~~~~~~~~~~~
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)