TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sender: "Team Ada: Ada Programming Language Advocacy (83 & 95)" <[log in to unmask]>
X-To: "William M. Borgia" <[log in to unmask]>, [log in to unmask]
Date: Tue, 14 Sep 2004 12:28:53 +0100
Reply-To: Rod Chapman <[log in to unmask]>
MIME-Version: 1.0
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain; charset="iso-8859-1"
From: Rod Chapman <[log in to unmask]>
Parts/Attachments: text/plain (33 lines)
I know that the following have taught SPARK Ada recently
on advanced software engineering courses - typically those
concentrating on high-integrity systems or formal methods:

 Virgina (Prof John Knight)

 NYU (Prof Robert Dewar)

 Oakland, Michigan (Prof Janusz Laski)

 Northern Iowa (Prof John McCormick)

 Uni of Idaho (Prof Jim Alves Foss)

Some others are considering SPARK for future courses,
including Roger Williams Univerity, Perdue (CERIAS),
and a few others.  Some links to course pages are at

 - Rod Chapman, SPARK Team, Praxis Critical Systems

This email and any files transmitted with it are confidential and
intended solely for the use of the individual or entity to whom they
are addressed. If you have received this email in error please notify
the system manager.  The IT Department at Praxis Critical Systems can be contacted at [log in to unmask]
This footnote also confirms that this email message has been swept by
MIMEsweeper for the presence of computer viruses.