[TYPES] CFP: STRATEGIES 06

[Cesar A. Munoz]

Types' Subscribers:

We are organizing a workshop on Strategies in Automated Deduction at
FLoC 2006. As some of you may be interested, I enclose a simplified call
for papers.

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




-- 
Cesar A. Munoz H., Senior Staff Scientist     mailto:munoz at nianet.org
National Institute of Aerospace        mailto:C.A.Munoz at larc.nasa.gov
100 Exploration Way                 http://research.nianet.org/~munoz
Hampton, VA 23666, USA   Tel. +1 (757) 325 6907 Fax +1 (757) 325 6988