FME Annual General Meeting 2017 and FME/BCS-FACS Seminar

The 2017 FME Annual General Meeting will be held on the premises of the British Computer Society in London on Thursday, May 4, at 15:30. Refer to for more information.

The agenda and AGM documents are available here.

*Reiner Hähnle*

After the meeting, at 18:00, there will be a joint FME/BCS-FACS seminar by Prof. Dr. Reiner Hähnle, TU Darmstadt, Germany, who will speak about “The KeY Formal Verification Tool“. Refer to for more information

To attend the AGM and/or the seminar, you MUST register in advance with the BCS. (See links above.) If you plan to attend both events, you must register for both events separately.

Author: Einar Broch Johnsen