[Om-announce] PDPAR'06: 1st Call for Papers

[Roberto Sebastiani]

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

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

        ============   Preliminary  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 9, 2006 
Final version due                    : June 26, 2006 
Workshop                             : August 21, 2006

Proceedings 
~~~~~~~~~~~ 
Given the informal style  of the workshop only informal (non-archival)
proceedings will  be distributed at  the workshop, We  are considering
the  possibility of  choosing  a set  of  the submitted  papers to  be
published in a  special volume of the Electronic  Notes in Theoretical
Computer Science (ENTCS).

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


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
Niklas Een, Cadence Design Systems
Daniel Kroening, ETH-Zurich
Shuvendu Lahiri, Microsoft Research
Robert Nieuwenhuis, Technical University of Catalonia 
Silvio Ranise, LORIA, Nancy
Harald Ruess, University of Manchester
Eli Singerman, Intel Corporation
Ofer Strichman, Technion
Aaron Stump, Washington University
Cesare Tinelli, University of Iowa
Ashish Tiwari, Stanford Research Institute (SRI)