coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call for Papers: STRATA 2003

From: Myla Archer <archer AT itd.nrl.navy.mil>
To: concurrency AT cwi.nl, coq-club AT pauillac.inria.fr, dreamers AT dai.ed.ac.uk, facs-members AT lut.ac.uk, fme AT mailbase.ac.uk, formal-methods AT cs.uidaho.edu, fsdm AT cs.uq.oz.au, imps AT linus.mitre.org, info-hol AT ultimate.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, lego-club AT dcs.ed.ac.uk, mizar-forum AT mizar.uwb.edu.pl, nuprlnotes AT cs.cornell.edu, pvs AT csl.sri.com, rewriting AT ens-lyon.fr, softverf AT nist.gov, types AT cis.upenn.edu
Subject: [Coq-Club] Call for Papers: STRATA 2003
Date: Fri, 4 Apr 2003 17:02:09 -0500 (EST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Call for Papers:

                              STRATA 2003
                    First International Workshop on
  Design and Application of Strategies/Tactics in Higher Order Logics

STRATA 2003 is associated with TPHOLs 2003, and will meet in Roma, Italy
on September 8, 2003.

Papers are solicited on all aspects of development and use of user-defined
strategies or tactics in higher order logic theorem provers. Papers
(maximum 20 pages) concentrating either on experience with PVS strategies
or on comparisons with strategy and tactic development in other theorem
proving systems are especially encouraged.  Short (3-4 page) position
papers suitable for panel presentation are also solicited.

An informal workshop proceedings will be published as a Naval Research
Laboratory Memorandum Report, which will also be made available on line.

Important dates for authors:

     * June 6, 2003 -- Deadline for paper submissions.
     * July 4, 2003 -- Notification of acceptance.
     * August 4, 2003 -- Final paper due.
     * September 8, 2003 -- STRATA 2003.

The full Call for Papers is available at the URL

         http://research.nianet.org/fm-at-nia/STRATA2003/

Myla Archer, Naval Research Laboratory
Ben DiVito, NASA Langley Research Center
Cesar Munoz, National Institute of Aerospace

[Coq-Club] Call for Papers: STRATA 2003, Myla Archer