[DL] LAST CFP - STRATEGIES'04

[Thierry Boy de la Tour]

*********************************************************************
************           LAST CALL FOR PAPERS            **************
************   (with apologies for multiple copies)    **************
*********************************************************************


   5th International Workshop on Strategies in Automated Deduction
                         (STRATEGIES 2004)

          http://www-leibniz.imag.fr/~boydelat/Strategies04/

                    Held in conjunction with IJCAR
                     Cork, Ireland, July 4, 2004




SUBMISSION DEADLINE:         --->     April 19, 2004.    <---


Researchers are invited to submit an extended abstract of up to 10 pages
or to send a position paper of 1-2 pages. All submissions should be sent
to the Program Chairs (strategies04 at imag.fr) in Postscript. Accepted
contributions will be included in the workshop proceedings which will be
available at the workshop and on the WWW.


TOPICS OF INTEREST

The workshop on Strategies in Automated Deduction 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.



                FURTHER INFORMATIONS ON THE WEB SITE ABOVE



--------------------------------------------------------------------------


INVITED TALKS BY

Bernhard Gramlich         Technische Universität Wien (Austria)
Roberto Sebastiani        Università di Trento (Italia)


ORGANIZATION

Maria Paola Bonacina         Università degli Studi di Verona (Italia)
Thierry Boy de la Tour       IMAG Grenoble (France)


PROGRAM COMMITTEE

Myla Archer                        Naval Research Laboratory (USA)
Maria Paola Bonacina (co-chair)    Università di Verona (Italia)
Thierry Boy de la Tour (co-chair)  IMAG Grenoble (France)
Amy Felty                          University of Ottawa (Canada)
Ruben Gamboa                       University of Wyoming (USA)
Andreas Herzig                     IRIT Toulouse (France)
Aaron Stump                        Washington University in St. Louis (USA)
Armando Tacchella                  Universita di Genova (Italia)



-- 

    Thierry Boy de la Tour                       INPG - Laboratoire LEIBNIZ
   Phone: (33) 4 76 57 46 68                     46, avenue Felix Viallet
    FAX : (33) 4 76 57 50 81                     38031 GRENOBLE cedex
  e-mail: Thierry.Boy-de-la-Tour at imag.fr         FRANCE