Conference announcements

1997 Ada-Belgium General Assembly

followed by a technical presentation by Praxis (U.K.) on

High-Integrity Programming for Safety-Critical Software

Wednesday, February 19, 1997, 19:00
Trasys, Brussels, Belgium

Announcement

Ada-Belgium will hold its annual General Assembly on Wednesday, February 19, 1997, at Trasys, 7 av. Ariane, 1200 Brussel, from 19:00 until 19:30.

This will be followed by a 2-hour technical presentation on "High-Integrity Programming for Safety-Critical Software" by Praxis (U.K.), a world leader on safety management and formal specification, and a demonstration of Praxis' family of products (SPARK). The presentation will provide an overview of the technical base of Praxis, to support a more detailed discussion of static code analysis and in particular the SPARK Ada-sublanguage. Project work will be described and future developments around Ada95 presented.

If you are interested in either the General Assembly or Praxis' presentation and demonstration, please contact Guido Duerinckx at Trasys (tel. 02/773.78.57, e-mail ada@belgium.eu.net) to receive your FREE invitation.

An access plan to Trasys is available for previewing (364x500 GIF, 56Kb) or for downloading to be printed (2540x3496 GIF, 704 Kb).

Looking forward to meet many of you in Brussels.

Dirk Craeynest
Ada-Belgium Board
ada@belgium.eu.net


Acknowledgements

We would like to thank our sponsors for their continued support of our activities: Katholieke Universiteit Leuven (K.U.Leuven), Koninklijke Militaire School / Ecole Royale Militaire, (K.M.S./E.R.M.), OFFIS nv/sa , Rational Software Corporation , Trasys nv/sa , and Université Libre de Bruxelles (U.L.B.).

[K.U.Leuven] [KMS/ERM] [OFFIS] [Rational Software Corporatio
n] [Trasys] [U.L.B.]


Information on this and other Ada-Belgium events is available on the Internet at the Ada-Belgium World-Wide-Web pages and is updated regularly. Check out URL

     http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html

[Ada-Belgium] To the Ada-Belgium home page.

Last update: 97/02/10.

Dirk Craeynest