[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] CFP: IWS 2012



IWS 2012 at IJCAR: CALL FOR PAPERS

2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming

1 July 2012, Manchester, UK

http://www.dcs.kcl.ac.uk/staff/maribel/IWS2012/IWS2012.html

Submission deadline: 27 April 2012

AIM  AND  TOPICS: Strategies  are  ubiquitous  in automated  reasoning
engines, high-level  programming lan- guages,  verification tools, and
affect  their  useability,  performance  and  practical  impact.  They
control search  (for proofs or models),  transformation (of programs),
access  (to resources) and  modelling. Work  on strategies  and search
plans  remains often  hidden  in implementations  of theorem  provers,
proof assistants,  model builders, interpreters, SAT  and SMT solvers,
decision  procedures  for   satisfiability,  termination  provers  and
verifiers. The 2nd  IWS Workshop provides a forum  to present research
on  strategies,  focusing  on  the  following  topics:  Strategies  in
automated   theorem  provers,   automated  model   builders,  decision
procedures and their combinations, SAT 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
kit:15:/homes/bruno>more IWS2012-CPF.txt
IWS 2012 at IJCAR: FIRST CALL FOR PAPERS

2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming

1 July 2012, Manchester, UK

http://www.dcs.kcl.ac.uk/staff/maribel/IWS2012/IWS2012.html

Submission: 9 April 2012

AIM  AND  TOPICS: Strategies  are  ubiquitous  in automated  reasoning
engines, high-level  programming lan- guages,  verification tools, and
affect  their  useability,  performance  and  practical  impact.  They
control search  (for proofs or models),  transformation (of programs),
access  (to resources) and  modelling. Work  on strategies  and search
plans  remains often  hidden  in implementations  of theorem  provers,
proof assistants,  model builders, interpreters, SAT  and SMT solvers,
decision  procedures  for   satisfiability,  termination  provers  and
verifiers. The 2nd  IWS Workshop provides a forum  to present research
on  strategies,  focusing  on  the  following  topics:  Strategies  in
automated   theorem  provers,   automated  model   builders,  decision
procedures and their combinations, SAT 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.  Papers on  strategies in automated reasoning, programming
languages  and software  verification are  equally wel-  come,  as the
workshop aims at facilitating synergies.

IMPORTANT DATES: All in 2012:

Submission: 9 April;
Notification: 7 May;
Preliminary proceedings version due: 30 May.

Submission for final proceedings: 9 September;
Notification: 9 November;
Final version: 2 December.

SUBMISSION AND PUBLICATION: There are three categories of submissions:
Regular:  This  is for  typical  workshop  papers.  Authors submit  an
abstract  (max  5 pages).  Accepted  abstracts  are  presented at  the
workshop and included in the preliminary proceedings, available at the
workshop.  After  the  workshop,  authors of  accepted  abstracts  are
invited to  submit a  full version (max  15 pages), which  is refereed
again for inclusion in the  final workshop proceedings, that we expect
to publish with EPTCS (http://eptcs.org/).  Abstract-only: This is for
preliminary  research that may  not be  ready to  develop into  a full
paper  after   the  workshop.  Authors  submit  an   abstract  (max  5
pages). Accepted abstracts are  presented at the workshop and included
only in  the preliminary proceedings.  Presentation-only:  This is for
papers  in  the scope  of  the  workshop that  have  been  or will  be
published elsewhere.   They may be  submitted in full (max  15 pages),
indicating where  the paper appears.  If accepted, one  page including
title, authors, abstract as in the published paper, and a reference to
the full paper, is included in the preliminary proceedings.

Authors are strongly encouraged to use LaTeX and must indicate the submission category.
All submissions are through https://www.easychair.org/account/signin.cgi?conf=iws2012
reachable from the workshop web site.

PROGRAM COMMITTEE: Maria  Paola Bonacina (Co-Chair) (Universit`a degli
Studi   di  Verona),   Dan  Dougherty   (WPI),  Bruno   Dutertre  (SRI
International), Maribel Fern´andez (Co-Chair) (King’s College London),
Mnacho Echenim (Universit´e de Grenoble), Swen Jacobs (EPFL), H´el`ene
Kirchner  (INRIA),  Salvador  Lucas  (Uni-  versidad  Polit´ecnica  de
Valencia), Christophe Ringeissen (INRIA), Stephan Schulz (eprover.org)

CONTACT: mariapaola.bonacina@univr.it and Maribel.Fernandez@kcl.ac.uk


-- 
Bruno Dutertre                             | bruno@csl.sri.com
CSL, SRI International                     | fax: 650 859-2844
333 Ravenswood Avenue, Menlo Park CA 94025 | tel: 650 859-2717