[DL] STRATEGIES 2006 - Extended Deadline

Strategies06 strategies06 at nianet.org
Mon May 22 15:25:42 CEST 2006

*** Final Call for Papers (Extended Deadline: May 29, 2006) ***

Sixth International Workshop on Strategies in Automated Deduction


An IJCAR'06 Affiliated Workshop at FLoC 2006

STRATEGIES is the primary forum for the communication of new results
on control strategies and search plans in automated theorem proving,
automated model building, decision procedures, interactive proof
assistants, proof planners, and logical frameworks, in first-order
(including propositional and purely equational as special cases),
modal (e.g., temporal) and higher-order logics.

Papers and participation are invited from both the fully automatic and
interactive theorem proving communities.

For the full Call for Papers see:


* Submission deadline: May 22, 2006 (Extended: May 29, 2006)
* Notification: June 26, 2006
* Final versions: July 10, 2006
* Workshop: August 16, 2006
* IJCAR: August 16 - August 21, 2006
* Inquiries: strategies06 at nianet.org

More information about the dl mailing list