Overview

STRATEGIES 2006 is the sixth in a series of workshops (http://www.logic.at/strategies), held so far at CADE 1997, CADE 1998, CADE 1999, IJCAR 2001 and IJCAR 2004, that aim at studying strategies in their own right, in all kinds of automated reasoning systems and proof assistants. 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.

Program

• Strategies program
• Strategies accepted papers
• Strategies pre-proceedings

Invited Talks

• Wednesday, August 16th, 09:30‑10:30
  Georges Gonthier (Microsoft Research)
  Internal Deduction and Decision Procedures of the 4-Colour Theorem [ppt]
• Wednesday, August 16th, 16:00‑17:00
  José Meseguer (University of Illinois at Urbana-Champaign)
  Specifying and Implementing Strategies in Rewriting Logic [pdf]

Organization

Co-chairs
Myla Archer	Naval Research Laboratory (USA)
Thierry Boy de la Tour	IMAG Grenoble (France)
César Muñoz	National Institute of Aerospace (USA)
Program Committee
Myla Archer	Naval Research Laboratory (USA)
Maria Paola Bonacina	Università degli Studi di Verona (Italia)
Thierry Boy de la Tour	IMAG Grenoble (France)
Ingo Dahn	Universität Koblenz-Landau (Deutschland)
Hugo Herbelin	INRIA (France)
Joe Hurd	Magdalen College, Oxford University (UK)
Dieter Hutter	DFKI (Deutschland)
César Muñoz	National Institute of Aerospace (USA)
Sam Owre	SRI (USA)
Laurent Vigneron	Université de Nancy (France)

Contact Information