From: Ada-VERIFY@USC-ISIF.ARPA (Clyde G. Jr. Roby)
Subject: [Clyde G. Jr. Roby <Ada-VERIFY@USC-ISIF.ARPA>: CALL FOR PAPERS of 3rd Ada Verification Workshop]
Date: Tue, 26-Nov-85 18:49:58 EST [thread overview]
Date: Tue Nov 26 18:49:58 1985
Message-ID: <8511270338.AB04440@ucbvax.berkeley.edu> (raw)
Date: 25 Nov 1985 10:34:24 PST
Subject: CALL FOR PAPERS of 3rd Ada Verification Workshop
From: Clyde G. Jr. Roby <Ada-VERIFY@USC-ISIF.ARPA>
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.
\f
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
-------------------------------------------------------------
-------
-------
-------
next reply other threads:[~1985-11-26 23:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1985-11-26 23:49 Clyde G. Jr. Roby [this message]
-- strict thread matches above, loose matches on Subject: below --
1985-11-26 23:49 [Clyde G. Jr. Roby <Ada-VERIFY@USC-ISIF.ARPA>: CALL FOR PAPERS of 3rd Ada Verification Workshop] Clyde G. Jr. Roby
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox