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=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 107e1d,ae4f10a6bfbf8c9e,start X-Google-Attributes: gid107e1d,public X-Google-Thread: 107324,ae4f10a6bfbf8c9e,start X-Google-Attributes: gid107324,public X-Google-Thread: 103376,ae4f10a6bfbf8c9e,start X-Google-Attributes: gid103376,public X-Google-Thread: fcea4,ae4f10a6bfbf8c9e,start X-Google-Attributes: gidfcea4,public X-Google-ArrivalTime: 2003-02-20 12:03:52 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!syros.belnet.be!naxos.belnet.be!news.belnet.be!not-for-mail From: dirk@ratbert.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp.programming,nl.comp.programmeren Subject: Reminder: PolySpace presentation, Tue 25 Feb 20:00, Ada-Belgium Date: 20 Feb 2003 21:03:48 +0100 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: naxos.belnet.be 1045771430 20863 134.58.127.12 (20 Feb 2003 20:03:50 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Thu, 20 Feb 2003 20:03:50 +0000 (UTC) Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@ratbert.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: archiver1.google.com comp.lang.ada:34299 fr.comp.lang.ada:2486 be.comp.programming:11638 nl.comp.programmeren:39560 Date: 2003-02-20T21:03:48+01:00 List-Id: ------------------------------------------------------------------------ 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.). ------------------------------------------------------------------------