Announcements

BCS-FACS and Related Announcements

• BCS-FACS Annual General Meeting 2004
• Springer-Verlag agree substantial reductions for FACS members
• Newsletter: Call for Contributions

Announcement: BCS-FACS AGM 2004

(Directions: building #8 under http://www.lsbu.ac.uk/sbucomm/information/southwark_map.html. The nearest underground station is Elephant & Castle: turn right, 100 meters along London Road on the right for Technopark.)

2.30pm Coffee/tea/biscuits
3.00pm Start of meeting

Draft Agenda

1. Apologies (Jonathan Bowen)
2. Minutes of the previous AGM (Roger Carsley)
3. Chairman's Report (Jonathan Bowen)
4. Management Committee Officers' Reports:
   1. Events report and plans (Ali Abdallah)
   2. Membership and publicity (Paul Boca)
   3. Newsletter and publications (Jonathan Bowen)
   4. Website report and plans (Mike Stannett)
5. Audited Statement of Accounts (Jawed Siddiqi)
6. Proposals for alterations to Rules (Jonathan Bowen)
7. Proposals for alterations of Fees including alternative ways of paying subscription fees (Paul Boca)
8. Election of Officers and Committee Members (Jonathan Bowen)
9. Election of Auditors (Jawed Siddiqi)
10. Any other business (Jonathan Bowen)

If there are any nominations for officers or membership of the committee, please send these to the Secretary (Roger Carsley, email R.E.Carsley@westminster.ac.uk) before the meeting or attend the meeting itself.

The AGM could be followed by a talk on formal methods. Volunteers are welcome! Please send a proposed title/abstract to Jonathan Bowen if you would like to give a talk.

Springer agree substantial reductions for FACS members

• 25% discount on book titles published by Springer
• 20% discount on the Springer journal, Requirements Engineering journal

If you would like to take advantage of these discounts, please contact Springer Verlag London directly, on

Please remember to mention that you are a paid-up BCS-FACS member.

Past Events

• Teaching Formal Methods: Theory and Practice Workshop (Oxford Brookes Uni, 12 Dec 2003)
• FM 2003 Call for Workshops (PDF File 40kb: 12th International FME Symposium)
• AMiLP-3 (3rd AMAST Workshop on Algebraic Methods in Language Processing, 25-27 August 2003)
• ZB 2003 (3rd International Conference of B and Z Users, 4-6 June 2003)
• Roger Needham: Formal Methods and Over Simplification (at FASec 02, 18-20 December 2002)
• Fred Schneider: Lifting Reference Monitors from the Kernel (at FASec 02, 18-20 December 2002)
• FASec 02 (Formal Aspects of Security, 18-20 December 2002)
• FORTE 2002 (Formal Techniques for Networked and Distributed Systems, 11-14 Nov 2002)
• FMCO 2002 (Formal Methods for Objects and Components, 5-8 Nov 2002)
• Mike Gordon: The Convergence of Deduction and Computation (1 October 2002)
• FORTEST Meeting in York (12 & 13 September 2002)
• Wolfram Schulte: Sanity Checking Your Software Design and Test Strategy with AsmL (20 September 2002)