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
- Dan Dougherty, Worcester Polytechnic Institute, MA, USA
- Assia Mahboubi, INRIA Saclay -- Île-de-France