Conference announcements

Announcement -
Ada-Europe'2000 - ASIS activities

Date:         Wed, 31 May 2000 09:44:13 -0400
From: Currie Colket <colket@MITRE.ORG>
Organization: The MITRE Corporation
Subject:      ASIS Activities at Ada-Europe 2000
To: SIGADA-ASIS@ACM.ORG

Dear ASISWG/ASISRG:

Ada-Europe 2000 will be held from 26-30 June 2000 in Potsdam, Germany.

There will be a number of ASIS related activities there I would like to bring to your
attention:

o  Wednesday, 28 June, ASIS Track, 16:15-18:00
   ASIS-for-GNAT: A Report of Practical Experiences
   by Sergey Rybin, Vasily Fofanov, Alfred Strohmeier, and Aleksei Kuchumov

o  Wednesday, 28 June, ASIS Track, 16:15-18:00
   Generation of Interface Description Documents Using ASIS
   by Steven V. Hovater

o  Wednesday, 28 June, ASIS Track, 16:15-18:00
   Ada Ada95 Programming Style Checker Using the GNAT ASIS Implementation
   by Patrick Closhen and Hans-Juergen Hoffmann

o  Friday, 30 June, Morning Half Day Tutorial
   Building Ada development tools with ASIS-for-GNAT
   Tutorialists: Sergey Rybin and Vasily Fofanov

Please inform your colleagues who are interested in finding our more about ASIS. The electronic
announcement is attached. Detailed information is available on the Conference Home Page at:

        http://www.ada-europe.org/conference2000.html

Please also put on your calendar the SIGAda 2000 Conference is scheduled for 12-16 November
2000 in Laurel, Maryland. The SIGAda 2000 Conference Home Page is located at:

        http://www.acm.org/sigs/sigada/conf/sigada2000/

v/r
Currie Colket
Chair ASISWG/Chair ASISRG

Electronic Announcement for Ada-Europe 2000:
[ 159 lines deleted; see hyperlink above -- dc ]

Reminder -
Ada-Europe'2000 - ASIS tutorial

From: "Sergey I. Rybin" <rybin@gnat.com>
Newsgroups: comp.lang.ada
Subject: Reminder: ASIS Tutorial at Ada-Europe
Date: Tue, 30 May 2000 00:32:22 +0400

There will be a tutorial on ASIS and ASIS-for-GNAT at the Ada-Europe
Conference.

ASIS (The Ada Semantic Interface Specification) is the interface
between an Ada environment (or a set of Ada components maintained by
some Ada implementation) and various program analysis tools. ASIS was
recently approved as ISO standard ISO/IEC 15291.

ASIS-for-GNAT is the GNAT implementation of the ASIS technology. It is
successfully used by many GNAT users in various tool development
projects. It is also used as the tool development engine in the GNAT
technology.

For more information, see:
-  the Conference site: http://www.ada-europe.org/conference2000.html
-  the ASIS Working Group Home Pages: http://www.acm.org/sigada/wg/asiswg

Do not forget to register ASAP!

Sergey Rybin (rybin@gnat.com)

To the Ada-Belgium home page.

Last update: 2000/05/30.