Conference announcements

____________________________________________________________________

Ada-Belgium
c/o Université Libre de Bruxelles (U.L.B.)
Boulevard du Triomphe / Triomflaan, Campus de la Plaine, CP 212, B-1050 Brussels
Phone 02/650.56.11, Fax 02/650.56.09, E-mail ada-belgium-board@cs.kuleuven.ac.be
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/
____________________________________________________________________

2003 Ada-Belgium General Assembly

Tuesday, February 25, 2003, 19:00

followed at 20:00 by a technical presentation on
Next generation testing tools for embedded applications: Apply abstract interpretation to automatically detect run-time errors at compilation time
by Marc Lalo (PolySpace Technologies, France)

Dear member,

The tenth General Assembly of Ada-Belgium will take place 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
on Tuesday, February 25 (2003) at 7 pm. followed by a technical presentation at 8 pm.

The Agenda of the G.A. has been fixed as follows :

  1. Introductory word
  2. Presentation of the work conducted during 2002
  3. Approval of the balance for 2002 (vote)
  4. Discussion about the activities to be organized in 2003
  5. Approval of the budget for 2003 (vote)
  6. Conditional adjustment of the membership fee for 2004 (vote)
  7. Choice of the size of the Board (vote)
  8. Presentation of the candidates for the Board
  9. Election of the Board (vote)
  10. Varia

The mandates of the following Board members end: Luc Bernard, Raymond Devillers, and Andrew Hately. Note that, to return to the normal situation of having approx. half of the Board ending their mandate at a specific G.A., last year these members were elected exceptionally for one year instead of two. They may be re-elected but they have to apply for re-election formally, together with any other member willing to enter the Board. All candidates are invited to notify their desire before February 21 (2003) to the Ada-Belgium Secretary (see header).

Members willing to add items to the agenda are invited to do so also before February 21 (2003), at the same address as above.

If you have not yet renewed your affiliation, please make the necessary payment before the General Assembly, in accordance with the invoice that was sent via postal mail some time ago.

Note: At 6:15pm, there will be an informal "pre-meeting" for Ada-Belgium members (see web-site). At 8pm, after the General Assembly, Marc Lalo of PolySpace Technologies, France, will give for all those interested a technical presentation on "Next generation testing tools for embedded applications: Apply abstract interpretation to automatically detect run-time errors at compilation time".

Everybody is welcome; the event is free.

For more information, check the Ada-Belgium web-pages at:

http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html
the President: D.Craeynest
the Secretary: R.Devillers


Also available as a PostScript or PDF file.


[Ada-Belgium] To the Ada-Belgium home page. To the 2003 Ada-Belgium General Assembly Home Page.

Last update: 2003/02/03.

Dirk Craeynest