Reminder: PolySpace presentation, Tue 25 Feb 20:00, Ada-Belgium

Reminder: PolySpace presentation, Tue 25 Feb 20:00, Ada-Belgium

[Dirk Craeynest]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 3076 bytes --]

------------------------------------------------------------------------

                          A d a - B e l g i u m
                S p e c i a l   E v e n i n g   E v e n t

     Ada-Belgium is pleased to announce a technical presentation by
               Marc Lalo of PolySpace Technologies, France

        N e x t   g e n e r a t i o n   t e s t i n g   t o o l s
           f o r   e m b e d d e d   a p p l i c a t i o n s :

          Apply abstract interpretation to automatically detect
                   run-time errors at compilation time

                    Tuesday, February 25, 2003, 20:00

              at the U.L.B., Department of Computer Science
        Campus de la Plaine, building NO, Solvay room (5th floor)
           Boulevard du Triomphe / Triomflaan, B-1050 Brussels

         (after the Ada-Belgium 2003 General Assembly at 19:00)

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

------------------------------------------------------------------------

Announcement
------------
Ada-Belgium will hold its tenth annual General Assembly on Tuesday,
February 25, 2003, at 19:00, at the address mentioned above. The
official convocation is distributed separately to members and is also
available on the Ada-Belgium web-server, together with a poster for
this event.

There will be refreshments and pizza for Ada-Belgium members at 18:15.
Please notify us if you are a current or new member and intend to
participate at this informal "pre-meeting".

Just after the G.A. we will also announce the winners of Ada-Belgium's
Ada Contest.

PolySpace Technologies presentation
-----------------------------------
At 20:00 the General Assembly will be followed by a technical
presentation plus Q&A, by Marc Lalo from PolySpace Technologies,
France.

"Next generation testing tools for embedded applications:
Apply abstract interpretation to automatically detect run-time errors
at compilation time"

Everyone interested is welcome: you don't have to be a member to attend.

Participation
-------------
Everyone interested is welcome at either or both parts of this
meeting.  As usual, the event is free.  If you plan to attend the
General Assembly or the PolySpace technical presentation, we would
appreciate it if you could inform us by e-mail at the address below
(please also specify if you intend to participate at the informal
"pre-meeting"). Although no formal registration is required, this helps
our preparations.

For more information and directions see the web-page mentioned above.

Looking forward to meet many of you in Brussels!

Dirk Craeynest
President Ada-Belgium
Dirk.Craeynest@cs.kuleuven.ac.be

------------------------------------------------------------------------

                            Acknowledgements

 We would like to thank our sponsors for their continued support of our
  activities: ACT Europe, Katholieke Universiteit Leuven (K.U.Leuven),
 Offis nv/sa - Aubay Group, and Universit� Libre de Bruxelles (U.L.B.).

------------------------------------------------------------------------