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=-0.0 required=5.0 tests=BAYES_40 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,16d4796ee06b594f,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!z14g2000cwz.googlegroups.com!not-for-mail
From: "Rod Chapman" <rod.chapman@praxis-his.com>
Newsgroups: comp.lang.ada
Subject: CfP: ISSSE 2006 Conference
Date: 31 Jan 2006 01:48:54 -0800
Organization: http://groups.google.com
Message-ID: <1138700934.433381.12240@z14g2000cwz.googlegroups.com>
NNTP-Posting-Host: 217.205.167.130
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1138700939 11756 127.0.0.1 (31 Jan 2006 09:48:59
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 31 Jan 2006 09:48:59 +0000 (UTC)
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.7.8) Gecko/20050511 Firefox/1.0.4,gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: z14g2000cwz.googlegroups.com; posting-host=217.205.167.130;
   posting-account=EhC47gwAAABJYiJ7JUJjwDyYMTWH1OKq
Xref: g2news1.google.com comp.lang.ada:2723
Date: 2006-01-31T01:48:54-08:00
List-Id: <comp.lang.ada>

Some readers of c.l.a might find this interesting.
Praxis will be there in some force for sure, giving two tutorials and a
new paper reporting our work with the NSA.
 - Rod


CALL FOR PARTICIPATION

IEEE International Symposium on Secure Software Engineering
                Arlington, Virginia, USA

                  March 13 - 15, 2006
                http://www.jmu.edu/iiia/issse

Sponsored by IEEE Computer Society, Technical Council on Software
Engineering, and in Cooperation with the IEEE-CS Task Force on
Information Assurance

This new symposium series covers the latest in research and experience
reflecting the community's response to the need for more secure
software
and addresses the interests of the commercial, governmental,
educational, and research sectors. In addition to the technical tracks,
this symposium features a keynote speaker, four tutorials, and social
events to mix and mingle with some of the leaders in the field.

Keynote Speaker: Jerry Saltzer (MIT, USA)

Tutorials:
1. "Secure Coding in C and C++" (Full Day)
   Presenter: Robert C. Seacord, Software Engineering Institute, CMU

2. "Security patterns and secure systems design using UML" (Full
Day)
   Presenter: Eduardo B. Fernandez, Florida Atlantic University

3. "SafSec: Integrating Safety and Security Assurance" (Half Day)
   Presenter: Samantha Lautier, Praxis High Integrity Systems

4. "Correctness by Construction - A Manifesto for High Integrity
Engineering" (Half Day)
   Presenter: Peter Amey and Rod Chapman, Praxis High Integrity Systems


For more information about the symposium and its technical tracks, as
well as information about registration, travel, and lodging
arrangements, please go to:
http://www.jmu.edu/iiia/issse.

Register today and save!

* * *