The Coq mailing list

[Cesare Tinelli <tinelli AT cs.uiowa.edu>]

(with apologies for cross posting)

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

                          IJCAR'04 Workshop


                               PDPAR'04
                          Second Workshop on
       Pragmatics of Decision Procedures in Automated Reasoning

                       University College Cork
                      Cork, County Cork, Ireland
                         July 04 or 05, 2004

                     CALL FOR EXTENDED ABSTRACTS

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


This workshop has two main goals.
 - The first is to bring together people interested in the pragmatical
   aspects of decision procedures in automated reasoning, giving them
   a forum for presenting and discussing implementation and evaluation
   techniques.
 - The second is to provide a discussion forum for the SMT-LIB
   initiative (see http://combination.cs.uiowa.edu/smtlib/).
   The workshop will host a panel session aimed at discussing the
   SMT-LIB common format and the other organisational aspects of
   handling the library.

Topics of interest include (but are not limited to)

   * algorithms and data structures to implement decision procedures,
   * techniques for the rapid prototyping of decision procedures,
   * techniques to implement combination or incorporation schemes,
   * benchmarks to evaluate and/or to compare decision procedures,
   * methodologies to test decision procedures,
   * the role of decision procedures in real-world verification efforts,
   * techniques for promoting the re-use and the exchange of code
     implementing decision procedures, combination and integration
     schemes, and so on.

-----------
Submissions
-----------

Extended abstracts addressing the pragmatical aspects of decision
procedures are solicited. Submission instructions can be found at
PDPAR'04 web site.


------------
Registration
------------

Joint registration with the IJCAR 2004 conference is possible but is
not required.  Refer to the IJCAR 2004 web site for registration
instructions and deadlines.


----------------
Invited Speakers
----------------

TO BE ANNOUNCED

-----------------
Program Committee
-----------------

 * Silvio Ranise (LORIA & INRIA-Lorraine, France)   [Co-chair]
 * Cesare Tinelli (University of Iowa, USA)         [Co-chair]

 * Alessandro Armando (University of Genova, Italy)
 * Clark Barrett (New York University, USA)
 * Harald Ruess (SRI, USA)
 * Ofer Strichman (Technion University, Israel)
 * Aaron Stump (Washington University, USA)

---------------
Important Dates
---------------
       April 5, 2003  Submissions of extended abstracts
         May 7, 2003  Notification of acceptance
        June 4, 2003  Final versions due
   July 4 or 5, 2003  Worskhop


----------------
More Information
----------------

See http://www.loria.fr/~ranise/pdpar04/ for PDPAR'04,
http://4c.ucc.ie/ijcar/ for IJCAR 2004, and
http://combination.cs.uiowa.edu/smtlib for SMT-LIB.