IWS 2012
2nd Joint International Workshop on Strategies
in Rewriting, Proving and Programming
1st July 2012
An IJCAR workshop
The Second Joint International Workshop on Strategies in Rewriting, Proving and Programming aims at providing a forum to communicate research about strategies, in order to favour dissemination of knowledge that may remain otherwise accessible only as code; facilitate synergies between the different contexts where strategies are applied, in the neighbouring fields of automated reasoning and programming languages; understand the nature of strategies, their descriptions, properties, usage and behaviour, whether measured empirically or analysed in theory; advance tools, such as strategy languages, for the design of strategies, viewed broadly as means to control modelling, search (e.g., for proofs or models), transformation (e.g., of programs), and access (e.g., to resources).
Since FLoC 2010, where its first edition was held, the Joint International Workshop on Strategies in Rewriting, Proving and Programming (IWS) merges two successful series of worshops: the Strategies in Automated Deduction workshops and the Workshops on Reduction Strategies (WRS).
TOPICS
Topics of interest include, but are not restricted to:- Strategies in automated theorem provers, automated model builders, decision procedures, combinations of decision procedures, SAT-solvers and SMT-solvers.
- Strategies and tacticals in interactive theorem provers and proof assistants.
- Strategies in interpreters of programming languages, rewriting engines and termination provers.
- Strategies in program analysers and tools for verification modulo theories.
- Performance evaluation: empirical evaluation, comparison and optimisation of strategies.
- Strategy analysis: evaluation, comparison, and optimisation of strategies by mathematical approaches to model search spaces and measure search complexity.
- Strategy languages: essential constructs, meta-level features, design, implementation and application.
- Applications and case studies where strategies play a major role.
SUBMISSION GUIDELINES
The submission process for regular papers is in two stages.1)Before the workshop, authors are invited to submit an abstract (max. 5 pages) in pdf format, using the Easychair submission site. Accepted abstracts will be presented at the workshop and included in the preliminary proceedings, available at the workshop.
2) After the workshop, authors will be invited to submit a full paper of their presentation (max. 15 pages), which will be refereed for inclusion in the final workshop proceedings, to be published in EPTCS.
In addition to regular papers, we also invite authors to submit papers describing relevant work that has been or will be published elsewhere, or abstracts describing preliminary research which may not be sufficiently mature to develop into a full paper after the workshop. Submissions in these two classes will be only considered for presentation at the workshop and inclusion in the preliminary proceedings but not in the final proceedings. Only authors submitting regular papers will be invited to submit a full paper for the post-workshop proceedings. Accepted abstracts describing preliminary research will be included in the preliminary proceedings but not in the final proceedings. Papers that have been or will be published elsewhere may simply be submitted in full, indicating the venue where the paper has been/will be publihsed. If accepted for presentation, one page including title, authors and abstract as in the published paper, together with an indication of where the full paper appears, will be included in the preliminary proceedings.
IMPORTANT DATES
The call for papers can be found here. A pdf version is available here.
INVITED SPEAKERS
PROGRAMME COMMITTEE
| Maria Paola Bonacina, Università degli Studi di Verona (co-chair) |
| Dan Dougherty, Worcester Polytechnic Institute |
| Bruno Dutertre, SRI International |
| Maribel Fernández, King's College London (co-chair) |
| Mnacho Echenim, Université de Grenoble |
| Swen Jacobs, EPFL |
| Salvador Lucas, Universidad Politécnica de Valencia |
| Christophe Ringeissen, INRIA |
| Stephan Schulz, eprover.org |
FURTHER INFORMATION
For further information please contact the co-chairs:Maria Paola Bonacina
Università degli Studi di Verona, Italy
Email: mariapaola.bonacina@univr.it
and
Maribel Fernández
King's College London, UK
Email: Maribel.Fernandez@kcl.ac.uk