[Om-announce] CFP: STRATEGIES 2006

[Strategies06]

(apologies for multiple copies)

Sixth International Workshop on Strategies in Automated Deduction

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

A FLoC'06 Affiliated Workshop

This workshop is a successor to both the series of STRATEGIES
workshops associated with CADE and IJCAR and to the STRATA 2003
workshop associated with TPHOLs.  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

Inquiries: strategies06 at nianet.org