Formal Methods Europe

Homepage of FME

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

By Einar Broch Johnsen • Apr 15th, 2017 • Category: FME Meeting, Lead Story

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 http://www.bcs.org/content/ConWebDoc/57129 for more information.

The agenda and AGM documents are available here.

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 http://www.bcs.org/content/ConWebDoc/57115 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.

Comments are closed.