IWS2010: July 9

International Workshop on Strategies in Rewriting, Proving, and Programming 2010

associated with LICS and RTA

Overview

Strategies are ubiquitous in programming languages, automated deduction and reasoning systems, yet only since about ten years have they been studied in their own right. In the two communities of Rewriting and Programming on one side, and of Deduction and Proof engines (Provers, Assistants, Solvers) on the other side, workshops have been launched to make progress towards a deeper understanding of the nature of strategies, their descriptions, their properties, and their usage, in all kinds of computing and reasoning systems. Since more recently, strategies are also playing an important role in rewrite-based programming languages, verification tools and techniques like SAT/SMT engines or termination provers. Moreover strategies have come to be viewed more generally as expressing complex designs for control in computing, modeling, proof search, program transformation, and access control.

FLoC 2010 provides an excellent opportunity to foster exchanges between the communities of Rewriting and Programming on one side, and of Deduction and Proof engines on the other side.

This workshop is a joint follow-up of two series of worshops, held since 1997: the Strategies workshops held by the CADE-IJCAR community and the Workshops on Reduction Strategies (WRS) held by the RTA-RDP community.

More information can be found here.

Programme

Invited Talks

Program Chairs

Helene Kirchner, INRIA, France
Cesar Munoz, National Aeronautics and Space Administration, United States

Program Committee:

Maria Paola Bonacina, Universita` degli Studi di Verona, Italy
Bernhard Gramlich, Technische Universitaet Wien, Austria
Salvador Lucas, Universidad Polit�cnica de Valencia, Spain
Pierre-Etienne Moreau, INRIA-LORIA Nancy, France
Natarajan Shankar, SRI International, United States
Eelco Visser, Delft University of Technology, Netherlands
Christoph Weidenbach, Max Planck Institute for Informatics, Germany