The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

(Apologies for multiple copies)

*** Final Call for Papers and Call for Participation ***

Sixth International Workshop on Strategies in Automated Deduction

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

An IJCAR'06 Affiliated Workshop at FLoC 2006

STRATEGIES 2006 is a successor to both the series of STRATEGIES
workshops associated with CADE and IJCAR and to the STRATA 2003
workshop associated with TPHOLs.

The workshop 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. The proceedings of the
workshop will appear in the Electronic Notes in Theoretical Computer
Science (ENTCS). The page limit for regular paper has been increased
to 16 pages and for position papers to 5 pages.

For the full Call for Papers see:

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

* Submission deadline: May 22, 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