[isabelle] PDPAR'06: 1st Call for Papers



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






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.