The Coq mailing list

[Myla Archer <archer AT itd.nrl.navy.mil>]

>From archer Fri Apr  4 17:02:09 2003
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 jaguar.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: Call for Papers: STRATA 2003
Content-Length: 1305

Second Call for Papers:

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

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 NASA Conference
Proceedings or as a Naval Research Laboratory Memorandum Report, and 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