[Om-announce] STRATEGIES 2006 - Extended Deadline

[Strategies06]

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

Sixth International Workshop on Strategies in Automated Deduction

STRATEGIES 2006
http://research.nianet.org/strategies06

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:

          http://research.nianet.org/strategies06/cfp.html

* 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