From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!watmath!clyde!burl!ulysses!mhuxr!mhuxn!ihnp4!qantel!lll-crg!ucdavis!ucbvax!info-ada From: Ada-VERIFY@USC-ISIF.ARPA (Clyde G. Jr. Roby) Newsgroups: net.lang.ada Subject: [Clyde G. Jr. Roby : CALL FOR PAPERS of 3rd Ada Verification Workshop] Message-ID: <8511270240.AA03546@ucbvax.berkeley.edu> Date: Tue, 26-Nov-85 18:49:58 EST Article-I.D.: ucbvax.8511270240.AA03546 Posted: Tue Nov 26 18:49:58 1985 Date-Received: Fri, 29-Nov-85 10:59:44 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet List-Id: Date: 25 Nov 1985 10:34:24 PST Subject: CALL FOR PAPERS of 3rd Ada Verification Workshop From: Clyde G. Jr. Roby To: Ada-VERIFICATION-LIST@USC-ECLB.ARPA cc: Ada-VERIFY@USC-ISIF.ARPA ******************* C A L L F O R P A P E R S * * ---------------------------------------- * 3RD * Third IDA Workshop On * WORKSHOP * Ada* Verification * on * * Ada * May 14-16, 1986 * VERIFICATION * Research Triangle Institute * * Research Triangle Park, NC ******************* ---------------------------------------- General Chair: Terry Mayfield, IDA Program Chair: John McHugh, Research Triangle Institute Local Arrangements: John McHugh An interdisciplinary Workshop on issues relating to Ada Verification [issues] sponsored by the Institute for Defense Analyses in association with the Research Triangle Institute. Submissions from the following areas are solicited: Ada Language Issues Security Verification Methodologies Formal Semantics Specification Languages Concurrency "Instrumented" Compilation Systems AI & Verification Automated Verification Environments The theme of the workshop is "Reaching Verifiable Ada Systems By 1990." Its purpose is to address advances in verification technology, to continue the adaptation of current technology in verification systems and methods with the needs of Ada Users, and to identify the road map for future basic/applied research in Ada verification technology. Papers will be grouped under the following topics: Active/Proposed Research Projects Current Methods Approaches for Technology Transfer Security Issues Ada Language Issues * Ada is a Registered Trademark of the U.S. Government, AJPO. Program Committee: John McHugh Research Triangle Institute Norman Cohen SofTech, Inc. Friedrich von Henke SRI, Inc. Richard Platek Odyssey Research Associates Larry Hatch National Computer Security Cen. John Faust RADC David Luckham Stanford University There will be an invited Keynote Speaker. Unpublished papers of up to 5000 words (20 double-spaced pages) are sought. The first page of each paper must include the following information: title, the author's name, affiliations, complete mailing address, telephone number and electronic mail address (where applicable), a maximum 150 word abstract of the paper, and up to five keywords (important for the correct classification of the paper). If there are multiple authors, please indicate who will present the paper at the Workshop if the paper is accepted. Proceedings will be available later from IDA. Please send two (2) copies of the paper to: Terry Mayfield 3rd Ada Verification Workshop General Chair Computer & Software Engineering Division Institute for Defense Analyses 1801 N. Beauregard Street Alexandria, VA 22311 DIRECT INQUIRIES TO: Terry Mayfield (703) 845-2479. ------------------------------------------------------------- IMPORTANT DATES Abstracts Submission: January 31, 1986 Deadline for Paper Submission: March 1, 1986 Notification of Acceptance: March 30, 1986 Deadline for Final Camera-Ready Copy: April 15, 1986 (may be provided by electronic means) Workshop Dates: May 14-16, 1986 ------------------------------------------------------------- ------- ------- -------