Formal Methods Europe

Homepage of FME

FME 6oth Meeting, London, 7 Dec 2015

By Bernhard Aichernig • Nov 4th, 2015 • Category: FME Meeting

Dear FME member,

There will be an FME business meeting in London on December, 7th. The meeting will be held on the British Computer Society premises and the joint FME/BCS-FACS Landin seminar is held in conjunction with the meeting.

Please refer to the agenda for more information.

The minutes from the FME AGM in Oslo are available on the FME web site.

After the meeting, members are invited to attend the joint FME/BCS-FACS Landin seminar given by prof. Jan Peleska, entitled “Semantic Families for Cyber Physical Systems”. The seminar starts at 18:00. Tea or coffee will be served before it and there will be a drinks reception afterwards.

Best regards,

Lars-Henrik Eriksson
FME Secretary

Comments are closed.