Conference announcements

2003 Ada-Belgium General Assembly

Tuesday, February 25, 2003, 19:00
U.L.B., Brussels, Belgium

followed at 20:00 by a technical presentation
by Marc Lalo, PolySpace Technologies, France

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

Announcement

Ada-Belgium will hold its tenth annual General Assembly on Tuesday, February 25, 2003, at the U.L.B., Department of Computer Science, Boulevard du Triomphe / Triomflaan, B-1050 Brussels, at 19:00. The official convocation is available, also in PostScript and PDF format, and is sent via postal mail to all members.

There will be refreshments and pizza for Ada-Belgium members at 18:15. Please notify us if you 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.

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

At 20:00 the General Assembly will be followed by a technical presentation plus Q&A, by Marc Lalo from PolySpace Technologies, France. A separate event announcement is available, as well as a poster to help announce this event on bulletin boards, etc.

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 (please also specify if you intend to participate at the informal "pre-meeting"). Although no formal registration is required, this helps our preparations.

All Ada-Belgium members have a vote at the General Assembly, can add items to the agenda, and can be a candidate for a position on the Board (see the convocation for more details).

If you are a member but have not yet renewed your affiliation please do so by paying the appropriate fee before the General Assembly (last years' members also receive a printed request via normal mail).
If you are interested to become a new member, please register by filling out the 2003 membership application form and by paying the appropriate fee before the General Assembly.
After payment you will receive a receipt from our treasurer and you are considered a member of the organization for the year 2003 with all member benefits. Please settle this invoice a.s.a.p. Early renewal ensures you receive the full Ada-Belgium membership benefits (including the Ada-Europe indirect membership benefits package).

As mentioned at earlier occasions, we have a limited stock of documentation sets and Ada related CD-ROMs that were distributed freely at previous events. Most important are copies of the "Ada and Software Engineering" double CD-ROM (ASE2), which was handed out at the Ada-Europe'2001 conference in Leuven and is also on-line in the Ada-Belgium archive at URL ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium/cdrom/index.html These sets will be available on a first-come first-serve basis at the General Assembly for current and new members.
Please inform me via e-mail if you are interested in receiving the free documentation sets and/or CD-ROMs, so I can bring enough copies with me.

Directions

This event takes place at the premises of the Université Libre de Bruxelles (U.L.B.), Boulevard du Triomphe / Triomflaan, Campus de la Plaine, 1050 Brussels, Belgium. Exact location is building NO, 5th floor, Solvay room.

An access plan to the Campus de la Plaine of the U.L.B. is available. Parking facilities are at access no. 2 (parking Fraiteur, the closest) or no. 4 (parking UAE, usually has free space). You can check on-line how to reach the Campus de la Plaine by car or by public transport.

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.).

[ACT Europe] [K.U.Leuven] [Offis - Aubay Group] [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: 2003/02/03.

Dirk Craeynest