------------------------------------------------------------------------
[EMAIL PROTECTED]: To unsubscribe, read the info at the bottom of this message.
------------------------------------------------------------------------
[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 9, 2006
Final version due : June 26, 2006
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)
------------------------------------------------------------------------
This e-mail was delivered to you by [EMAIL PROTECTED], what is a
moderated list run by Computational Intelligence Group of Clausthal
University of Technology, Germany. All event announcements sent through
this list are also listed in our conference planner at
http://cig.in.tu-clausthal.de/index.php?id=planner.
In the case of any requests, questions, or comments, do not hesitate and
contact [EMAIL PROTECTED] ASAP.
If you want to unsubscribe from this list, please visit
http://www2.in.tu-clausthal.de/mailman/listinfo/event, or send an e-mail
with a subject unsubscribe to [EMAIL PROTECTED]
If you experience problems with your unsubscription, do not hesitate
and contact the list administrator at [EMAIL PROTECTED]
******************************************************
* CIG does not take any responsibility for validity *
* of content of messages sent through this list. *
******************************************************
Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
