Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.logic.at/strategies99/
Email: strategies99@logic.at
Organizers: Bernhard Gramlich, Helene Kircher, Frank Pfenning, Adolfo Villafiorita
Deadline for abstracts: March 28, 1999
Description:
Strategies are almost ubiquitous in automated deduction and reasoning systems, yet only recently have they been studied in their own right. The workshop aims at
making progress towards a deeper understanding of the nature of theorem proving strategies, their descriptions, their properties, and their usage. It provides a
common forum for researchers working on all aspects of strategies, under different terminology and in various domains. The workshop continues and focuses the
efforts of two previous workshops held in conjunction with CADE'97 and CADE'98.
Topics of interest for the workshop include all aspects related to strategies in automated deduction. The emphasis of this year's workshop will be on strategy languages, theory of strategies, and proof planning, which can be seen representing the central syntactic, semantic, and pragmatic aspects of strategies in automated deduction. We also explicitly encourage submissions of results from applications and case studies in which strategies played a major role.
Speakers: Maria Paola Bonacina (University of Iowa), Alan Bundy (University of Edinburgh), Claude Kirchner (LORIA-INRIA Nancy)
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.