[SystemSafety] Fwd: Formal Methods upcoming conferences

From: Peter Bernard Ladkin < >
Date: Tue, 11 Nov 2014 09:01:37 +0100


Perhaps of interest to those here whi don't know of the FME organisation

PBL Prof. Peter Bernard Ladkin, University of Bielefeld and Causalis Limited

Begin forwarded message:

> From: Announcements of FME events <events_at_xxxxxx > Date: 11 November 2014 08:41:18 CET
> To: events_at_xxxxxx > Subject: Formal Methods upcoming conferences
> Reply-To: events_at_xxxxxx >
> Dear Colleague,
>
> We would like to bring to your attention a new resource made available by FME: a list of important dates of upcoming formal methods conferences. It can be found in http://www.fmeurope.org/?p=494 and can be reached from our page (http://www.fmeurope.org/). We hope this becomes a useful resource for conference organisers and participants alike.
>
> If you are organising an international conference (not workshop) that mentions "formal methods" in its call for papers, and would like its important dates to be advertised there, please get in touch with Bernhard Aichernig via aichernig_at_xxxxxx >
> Best wishes,
>
> FME Board
>
> --
> Disclaimer:http://www.york.ac.uk/docs/disclaimer/email.htm
>
> _______________________________________________
> events mailing list
> events_at_xxxxxx > http://fmeurope.hosting.west.nl/mailman/listinfo/events



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Nov 11 2014 - 11:30:11 CET

This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 09:17:07 CET